mcschroeder / ctrie
Non-blocking concurrent hashmap for Haskell
☆17Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for ctrie
- Transactional cache with configurable persistence☆48Updated last year
- Hackage search engine☆56Updated 6 years ago
- Support for static values☆22Updated 2 months ago
- ☆20Updated 5 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 5 months ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 8 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago
- IP Routing Table in Haskell☆47Updated 2 weeks ago
- High-resolution clock functions: monotonic, realtime, cputime.☆58Updated last year
- haskell memory☆48Updated last year
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Library and macros to simplify writing Haskell FFI code☆38Updated last year
- ☆44Updated last month
- Safe, programmable, speculative evaluation for Haskell☆30Updated 6 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last week
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- ELF data structures for Haskell☆24Updated last year
- Haskell distributed parallel Haskell☆38Updated 7 years ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- Extends binary with parsec/attoparsec style parsing combinators☆26Updated 2 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 9 years ago
- Monad morphisms☆47Updated 2 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated last week
- Deep evaluation of data structures☆41Updated 2 months ago
- phantom types☆37Updated last month
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Binary streaming library for Postgres data pipelines☆18Updated 5 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago