Popular repositories Loading

1. LPLFitch-LaTeX-Converter LPLFitch-LaTeX-Converter Public

   A tool that compiles a proof written in LPL Fitch (exported as HTML) to LaTeX code. Also includes a validity verifier for Propositional Logic (with the possibility to add extra validity constraints).

   Java 1

2. Parallel-Conway-s-Game-of-Life Parallel-Conway-s-Game-of-Life Public

   A parallel implementation of the Conway's Game of Life with periodic boundaries using Message Passing Interface (MPI)

   C 1

3. Convolution-Algorithms Convolution-Algorithms Public

   C 1

4. ReinforcementLearning ReinforcementLearning Public

   Python 1

5. McEliece McEliece Public

   Python