mcschroeder / ctrieLinks
Non-blocking concurrent hashmap for Haskell
☆18Updated 8 years ago
Alternatives and similar repositories for ctrie
Users that are interested in ctrie are comparing it to the libraries listed below
Sorting:
- Binary streaming library for Postgres data pipelines☆17Updated 6 years ago
- Hackage search engine☆56Updated 7 years ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Type provider library for Idris☆95Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- Fast base64 encoding and decoding for Haskell.☆48Updated 2 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆57Updated 5 months ago
- An experimental native Haskell graph database☆62Updated 7 years ago
- ☆60Updated last year
- Library and macros to simplify writing Haskell FFI code☆40Updated 3 years ago
- The haskell network stack☆118Updated 8 years ago
- InfluxDB client library for Haskell☆55Updated last year
- GNU bash backend for Idris☆52Updated 6 years ago
- Monad morphisms☆51Updated 2 weeks ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- Succinct vectors☆20Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 weeks ago
- An Ivory library inspired by Atom☆14Updated 9 years ago
- haskell memory☆48Updated 2 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated 3 months ago
- High level Haskell bindings to LXC (Linux containers).☆51Updated 10 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆79Updated 5 years ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated 2 years ago
- ☆32Updated 9 years ago
- Transactional cache with configurable persistence☆45Updated 2 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 9 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- A concurrency framework for the Ivory language☆45Updated 6 years ago
- A haskell client library for consul (consul.io)☆31Updated last year