Efficient implementation of the implicit treap data structure
☆63Aug 2, 2021Updated 4 years ago
Alternatives and similar repositories for treap
Users that are interested in treap are comparing it to the libraries listed below
Sorting:
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- Hackager tool for releasing Haskell packages to Hackage☆32Sep 17, 2025Updated 5 months ago
- type level sets☆67Nov 19, 2019Updated 6 years ago
- A GHC plugin and library for analysing GHC Core☆54Feb 4, 2025Updated last year
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- ♾️ Sized list☆47Jan 16, 2026Updated last month
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- Streaming parsers collection☆17Jun 19, 2020Updated 5 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Haskell bindings to ArrayFire☆60Dec 14, 2024Updated last year
- Systematic concurrency testing meets Haskell.☆197Jan 13, 2026Updated last month
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Haskell 98 Profunctors☆70Jun 17, 2025Updated 8 months ago
- Interpreter for GHC Haskell☆22Nov 9, 2019Updated 6 years ago
- A work stealing scheduler☆80Jan 14, 2025Updated last year
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated last year
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Generic types and functions for encoding and decoding columns☆44Nov 4, 2024Updated last year
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 3 months ago
- haskell memory☆49Aug 14, 2023Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Unpacked containers using backpack☆52Apr 26, 2020Updated 5 years ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 5 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- 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
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 7 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- Example-based Haskell Documentation Engine☆59Jun 16, 2019Updated 6 years ago
- Algebraic Effects in Haskell using Implicit Parameters☆47Aug 16, 2020Updated 5 years ago
- Environmentally friendly environment variables☆154Jan 11, 2026Updated last month
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 6 months ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 7 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago