Popular repositories Loading

1. sudoku-solver sudoku-solver Public

   A DPLL-based Sudoku solver

   Haskell 1

2. proof-assistant proof-assistant Public

   A proof assistant for first-order logic.

   Java

3. Thesis Thesis Public

   End to End Encryption Thesis

   TeX

4. TurtleDuck TurtleDuck Public

   A Turtle -> PDPlot-2 Compiler

   Haskell

5. Wax-Demo Wax-Demo Public

   CSS

6. Risk Risk Public