Popular repositories Loading

1. hashable hashable Public

   Forked from haskell-unordered-containers/hashable

   Haskell 1

2. unordered-containers unordered-containers Public

   Forked from haskell-unordered-containers/unordered-containers

   Haskell 1

3. Data.FastSequence Data.FastSequence Public

   A fast replacement for Data.Sequence based on wider-fanout trees

   Haskell 1

4. bdd-subtyping bdd-subtyping Public

   BDD-based subtyping proof of concept

   Isabelle

5. bkk-hash bkk-hash Public

   Mess with linear probing in line with Bender / Kuszmaul / Kuszmaul (https://arxiv.org/abs/2107.01250)

   Rust

6. MicroHs MicroHs Public

   Forked from augustss/MicroHs

   Functional language implemented with combinators

   C