Popular repositories Loading

1. FunWithRewriting FunWithRewriting Public

   Term Rewriting stuff

   OCaml 4

2. parsy parsy Public

   Python

3. PropositionalLogic PropositionalLogic Public

   OCaml

4. TwitchLive TwitchLive Public

   Testing some JSON data retrieval with pythons Async/Await.

   Python

5. FunWithComputerVision FunWithComputerVision Public

   Playing around with different algorithms/libraries in Computer Vision

   C++

6. Thmper Thmper Public

   An "interactive" Theorem Prover for First-order Logic

   OCaml