Pinned Loading

1. target/theta-idl target/theta-idl Public archive

   Define communication protocols between applications using algebraic data types.

   Haskell 45 9

2. RL-book RL-book Public

   Python 533 331

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 20 7

5. talks talks Public

   Slides for my talks at various meetups.

   JavaScript 21

6. TPL TPL Public

   A silly little programming language.

   Haskell 9 2