Popular repositories Loading

1. agda-relation-algebra agda-relation-algebra Public

   Relational algebra implementation in Agda with simple bindings to SQLITE

   Agda 14 4

2. haskell-molecular-dynamics haskell-molecular-dynamics Public

   Haskell Implementation of Generic N-Body Computations

   Haskell 5 3

3. gradual-typing-timings gradual-typing-timings Public

   Jupyter Notebook 3 1

4. molecular-dynamics molecular-dynamics Public

   C++ 1 1

5. dotfiles dotfiles Public

   All my dotfiles

   HTML 1

6. belt-machine belt-machine Public

   Silly Little Belt Machine Implemented in RPython

   Python