Pinned Loading

1. Dissection-thesis Dissection-thesis Public

   My MSc Thesis on: Verified tail-recursive folds through dissection

   Agda 2

2. Javalette-Compiler Javalette-Compiler Public

   Forked from SantiMunin/Javalette-Compiler

   A full-compiler of a C-like language

   Haskell

3. FunFlow FunFlow Public

   Control-flow analysis

   Haskell

4. wlp-engine wlp-engine Public

   Weakest liberal precondition verifier engine

   Haskell 1

5. shrdlite shrdlite Public

   A (very) light version of the program for understanding natural language SHRDLU (http://hci.stanford.edu/winograd/shrdlu/)

   Haskell 6 3

6. martin martin Public

   An interactive programming tutor for Agda

   Haskell 1