Popular repositories Loading

1. superposition superposition Public

   A quantum puzzle game featuring Schrödinger's cat.

   Scala 13 3

2. qsette qsette Public

   Prototype for solver-aided verification of Q# programs.

   Racket 1 1

3. game-of-life game-of-life Public

   Conway's Game of Life in your web browser. Mix-and-match famous patterns and draw new ones.

   JavaScript 1

4. abacus abacus Public

   A simple math expression parser and calculator.

   Haskell

5. destiny destiny Public

   Play Fate together.

   F#

6. kombucha kombucha Public

   Proof verifier for System T.

   Haskell