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
- An experimental native Haskell graph database☆62Updated 6 years ago
- Transactional cache with configurable persistence☆45Updated 2 years ago
- Fast base64 encoding and decoding for Haskell.☆47Updated 2 years ago
- High level Cassandra bindings for Haskell☆45Updated 9 years ago
- IP Routing Table in Haskell☆46Updated 4 months ago
- A hip inductive theorem prover!☆90Updated 3 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 7 years ago
- Library and macros to simplify writing Haskell FFI code☆40Updated 2 years ago
- DNS libary in Haskell☆63Updated last year
- ☆59Updated last year
- A message-passing library, intended for simplifying network applications☆44Updated 7 years ago
- haskell memory☆48Updated 2 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Monad morphisms☆51Updated 3 weeks ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆56Updated 2 months ago
- JSON pretty-printing library and command-line tool.☆64Updated last year
- Generic HTTP types for Haskell (for both client and server code)☆54Updated last year
- MPFR bindings for Haskell☆35Updated 2 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 7 months ago
- High level Haskell bindings to LXC (Linux containers).☆49Updated 9 years ago
- Utrecht Haskell Compiler☆42Updated 13 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated last week
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last year
- ☆17Updated 3 years ago
- Serializable closures for distributed programming.☆65Updated last year