Popular repositories Loading

1. narc narc Public

   Nested Relational Calculus embedded in Haskell

   Haskell 16 1

2. coq-irrat2 coq-irrat2 Public

   Proof that sqrt(2) is irrational in Coq.

   HTML 8 1

3. sn-stlc-de-bruijn-coq sn-stlc-de-bruijn-coq Public

   Strong Normalization for Simply-Typed Lambda-Calculus with de Bruijn indices in Coq

   Coq 5 1

4. hillel-challenge hillel-challenge Public

   An attempt to solve the problems of Hillelogram at https://twitter.com/Hillelogram/status/987432181889994759

   Coq 5

5. statsfool statsfool Public

   Fooling around with statistics & machine learning algorithms

   Haskell 1

6. sql-deep sql-deep Public

   Database queries on nested data

   Haskell 1