Pinned Loading

1. bytestring-trie bytestring-trie Public

   An efficient finite map from (byte)strings to values.

   Haskell 19 24

2. coq-wrengr-util coq-wrengr-util Public

   Tactics, utility lemmas, and relation combinators for Coq

   Coq 4

3. unification-fd unification-fd Public

   Generic functions for single-sorted first-order structural unification

   Haskell 41 11

4. logfloat logfloat Public

   Log-domain floating point numbers

   Haskell 8 1

5. bytestring-lexing bytestring-lexing Public

   Efficiently parse and produce common lexemes: namely integral and fractional numbers.

   Haskell 6 4

6. dotfiles dotfiles Public

   🏡 a bunch of *nix configuration

   TeX 1