Popular repositories

1. agda-relation-algebra Public

   Relational algebra implementation in Agda with simple bindings to SQLITE

   Agda 11 2

2. haskell-molecular-dynamics Public

   Haskell Implementation of Generic N-Body Computations

   Haskell 5 3

3. gradual-typing-timings Public

   Jupyter Notebook 3 1

4. molecular-dynamics Public

   C++ 1 1

5. dotfiles Public

   All my dotfiles

   HTML 1

6. belt-machine Public

   Silly Little Belt Machine Implemented in RPython

   Python