haskell / critbit
A Haskell implementation of crit-bit trees.
☆138Updated 2 years ago
Alternatives and similar repositories for critbit:
Users that are interested in critbit are comparing it to the libraries listed below
- playground for working with succinct data structures☆97Updated 9 years ago
- Haskell 98 contravariant functors☆73Updated 5 months ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- haskell memory☆48Updated last year
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- A class for types that can be converted to a hash value☆104Updated 3 weeks ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- complexity testing for haskell☆48Updated 9 years ago
- Unpacked containers using backpack☆52Updated 4 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated last month
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- A collection of different packages for CAS based data structures.☆108Updated 9 months ago
- Generic Programming using True Sums of Products☆162Updated 2 months ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- Generic random generators☆81Updated 2 years ago
- ☆74Updated last month
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆43Updated 5 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Dive into GHC☆82Updated 8 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 weeks ago
- An experimental native Haskell graph database☆61Updated 6 years ago