Pinned Loading

1. charsheet charsheet Public

   Prolog

2. charsheet-wpf-frontend charsheet-wpf-frontend Public

   C#

3. streams-in-space streams-in-space Public

   A tiny game to illustrate the use of lazy streams for building interactive systems.

   Haskell

4. hsrace hsrace Public

   An unfinished project where I implement a simple racing game to experiment with arrowized functional reactive programming.

   Haskell

5. minisolver minisolver Public

   A simplified model of the GHC constraint solver I made for a research project.

   Haskell

6. LocalAsGlobal LocalAsGlobal Public

   Coq proofs accompanying our paper "Handling Local State with Global State" (submitted to MPC 2019).

   Coq