Pinned Loading

1. RL-book RL-book Public

   Python 606 369

2. theta-idl theta-idl Public

   Forked from target/theta-idl

   Define communication protocols between applications using algebraic data types.

   Haskell 5

3. modular-arithmetic modular-arithmetic Public

   A useful type for working with integers modulo some constant.

   Haskell 30 8

4. dotfiles dotfiles Public

   Most of my system configuration files.

   Emacs Lisp 21 8

5. talks talks Public

   Slides for my talks at various meetups.

   JavaScript 22

6. TPL TPL Public

   A silly little programming language.

   Haskell 9 2