Popular repositories Loading

1. orhle orhle Public

   An automatic verifier for RHLE properties.

   Haskell 5

2. hasicp hasicp Public

   Haskell implementation of Scheme interpreter from Abelson and Sussman's SICP.

   Haskell 4 2

3. kestrel kestrel Public

   Find alignments for relational program properties using e-graphs.

   C 2

4. unified-mod unified-mod Public

   Messing around with https://dl.acm.org/doi/10.1145/3408972

   Coq 1

5. bk-tree bk-tree Public

   A simple BK-Tree implementation in Haskell

   Haskell

6. .emacs.d .emacs.d Public

   My emacs configuration.

   Emacs Lisp