Popular repositories Loading

1. CV CV Public

   My CV, in latex

   TeX 6 7

2. OpenSSLExample OpenSSLExample Public

   A small example of a client/server using SSL.

   C 4 3

3. analytic_tableaux_haskell analytic_tableaux_haskell Public

   Automated reasoning course project

   Haskell 1

4. DQN DQN Public

   My implementation of the DQN algorithm, for my master's thesis.

   Python 1

5. Minipascal-Converter-v0.1 Minipascal-Converter-v0.1 Public

   C++

6. TuringMachine TuringMachine Public

   Java