bgamari / b-tree
Haskell on-disk B* tree implementation
☆116Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for b-tree
- Generic parser combinators☆88Updated 3 weeks ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- Dive into GHC☆82Updated 7 years ago
- Tutorial for LiquidHaskell☆75Updated last month
- A collection of different packages for CAS based data structures.☆106Updated 5 months ago
- Higher-order optimization library☆73Updated last year
- ☆124Updated 11 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆95Updated 2 years ago
- A monad for interfacing with external SAT solvers☆63Updated 3 weeks ago
- Crypto for Haskell☆37Updated 3 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆127Updated 2 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 3 years ago
- Transactional key-value store written entirely in Haskell☆93Updated 3 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- Difference lists in Haskell☆65Updated 4 months ago
- Mutable hash tables for Haskell, in the ST monad☆125Updated this week
- Generic random generators☆81Updated last year
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆106Updated 6 months ago
- free monads☆161Updated 6 months ago
- Monad Transformers and Classes☆78Updated 5 years ago
- Safe, consistent, and easy exception handling☆136Updated last year
- Cap'n Proto for Haskell☆93Updated last year
- This package provides various primitive memory-related operations.☆114Updated this week
- Fast non-backtracking incremental combinator parsing for bytestrings☆47Updated 3 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- array, slices and text☆70Updated 4 months ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- Haskell Standard Input and Output☆104Updated 4 years ago
- playground for working with succinct data structures☆94Updated 9 years ago