bgamari / b-tree
Haskell on-disk B* tree implementation
☆116Updated 3 years ago
Alternatives and similar repositories for b-tree:
Users that are interested in b-tree are comparing it to the libraries listed below
- A collection of different packages for CAS based data structures.☆107Updated 8 months ago
- Tutorial for LiquidHaskell☆75Updated 4 months ago
- An implementation of the Raft consensus protocol☆122Updated 2 years ago
- Generic parser combinators☆86Updated 3 months ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Higher-order optimization library☆73Updated last year
- Mutable hash tables for Haskell, in the ST monad☆128Updated 3 weeks ago
- A monad for interfacing with external SAT solvers☆64Updated 3 months ago
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- ☆125Updated last year
- a library for parallel programming☆94Updated 3 months ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- Dependently Typed Lambda Calculus in Haskell☆113Updated 3 years ago
- Generic Programming using True Sums of Products☆161Updated last month
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 6 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆96Updated 3 years ago
- Haskell 98 contravariant functors☆73Updated 4 months ago
- Crypto for Haskell☆37Updated 3 years ago
- Systematic concurrency testing meets Haskell.☆197Updated last month
- Safe, consistent, and easy exception handling☆135Updated last year
- array, slices and text☆70Updated 7 months ago
- Containers for STM☆68Updated 2 weeks ago
- This package provides various primitive memory-related operations.☆115Updated 3 months ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆128Updated 3 years ago
- Principled and efficient binary serialization☆61Updated 2 years ago
- Dive into GHC☆82Updated 8 years ago
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆110Updated 3 weeks ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- The Software Foundations book, in GHC☆82Updated last month