B+-tree implementation in Haskell
☆28May 12, 2019Updated 6 years ago
Alternatives and similar repositories for haskey-btree
Users that are interested in haskey-btree are comparing it to the libraries listed below
Sorting:
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 6 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- ☆14Sep 24, 2017Updated 8 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16May 15, 2019Updated 6 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Church-encoding of the Freer monad☆28Oct 27, 2016Updated 9 years ago
- ☆80Feb 22, 2019Updated 7 years ago
- Principled and efficient binary serialization☆62Oct 11, 2025Updated 4 months ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Use conduit to process/manipulate/convert audio☆18Updated this week
- Generate and apply diffs between JSON documents.☆39Oct 5, 2022Updated 3 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 5 years ago
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- Composable code-quality tools☆13Jun 22, 2018Updated 7 years ago
- haskell prof file CLI/Curses tool☆32May 2, 2017Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Oct 25, 2024Updated last year
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 8 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 6 years ago
- Dijkstra's shortest path algorithm implemented at type level with Haskell☆20Dec 11, 2017Updated 8 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 7 months ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year