Pinned Loading

1. michaeljklein.github.io michaeljklein.github.io Public

   Short Proof Sample

   HTML 2

2. parser-tutorial parser-tutorial Public

   A tutorial on monadic parsing in Haskell

   Haskell 1

3. text-trie text-trie Public

   Forked from wrengr/bytestring-trie

   An efficient finite map from Text to values, based on bytestring-trie.

   Haskell 5 6

4. hackage-stats hackage-stats Public

   Haskell stats and graphs

   Mathematica 2

5. ghc-edit-plugin ghc-edit-plugin Public

   Create GHC plugins using composable Lens-like source edits

   Haskell 1

6. nil-passer nil-passer Public

   Pass nils to single-arg blocks in Ruby on Rails for testing

   Ruby