jprupp / nqe
Concurrency library inspired by Erlang/OTP
☆19Updated 9 months ago
Related projects: ⓘ
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 6 years ago
- OTP-like supervision trees in Haskell☆63Updated 5 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆46Updated last year
- ☆41Updated 6 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 4 years ago
- Zippers based on lenses and traversals☆38Updated last year
- An extension to Data.Serialize with built-in version control☆60Updated 4 months ago
- Run HLint as part of normal compilation☆47Updated 6 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 4 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 7 years ago
- Yet another concurrent playground☆32Updated 8 years ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 4 years ago
- An efficient graph library for Haskell☆39Updated last month
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Lens interface for your filesystem☆22Updated 3 years ago
- A monad for managed values☆50Updated last year
- Derive instances through isomorphisms☆20Updated 3 months ago
- Kleene algebra, regular expressions☆32Updated 10 months ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Updated 5 years ago
- Core modules for a blazing fast markup combinator library☆20Updated 2 months ago
- Game NetCode Solved☆23Updated 3 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 2 months ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- tools for writing better type errors☆73Updated last year
- An append only list in a compact region☆25Updated 6 years ago
- Distributed systems execution emulation☆18Updated 5 years ago