Popular repositories Loading

1. TMLang TMLang Public

   A small language for designing and programming Turing machines

   Python 1

2. crypto-tools crypto-tools Public

   An interactive terminal interface implementing the Enigma machine, as well as some classical ciphers and their cryptanalysis

   Python 1

3. fitch-proof fitch-proof Public

   A simple language for making propositional proofs in a Fitch-style natural deduction system

   Python

4. logicalpy logicalpy Public

   A small Python library providing basic functionalities for manipulating propositional logic

   Python

5. linear-equation-systems linear-equation-systems Public

   Some stuff showing some (useless) research for making a linear equation solving algorithm

   TeX

6. deducto deducto Public

   Forked from salastro/deducto

   An interactive proof assistant for propositional logic: apply rules; devise premises; and derive conclusions, step-by-step.

   Python