Popular repositories

1. btree-gadt Public

   Code from a talk given at YOW! Lambda Jam 2013

   Haskell 14 1

2. spacemacs-coq Public

   A simple spacemacs layer for Coq including Company-Coq and Proof General

   Emacs Lisp 5

3. ylj15-coq-pattern-match Public

   Code from a talk given at YOW! Lambda Jam 2015

   Coq 3

4. coq-fight-2017 Public

   Lemmas contributed to the 2017 FP-Syd Coq Fight

   Coq 3

5. puzzle-parity-permutations Public

   Schrödinger's hats: a puzzle about parities and permutations

   Isabelle 2

6. seL4-nix Public

   Nix 1