acowley / concurrent-machines
Concurrency features for the Haskell machines package
☆17Updated 2 years ago
Alternatives and similar repositories for concurrent-machines:
Users that are interested in concurrent-machines are comparing it to the libraries listed below
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated last month
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- Haskell dynamic RTS loader☆13Updated 8 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- An example of dynamically loading a Haskell source module☆18Updated 6 years ago
- Fixed length vector for haskell☆21Updated 3 weeks ago
- Haskell routes using dependent types☆10Updated 8 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- ☆44Updated last month
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated last month
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 3 years ago
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- Transactional cache with configurable persistence☆47Updated last year
- ☆23Updated 7 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- Quiver stream processing library☆15Updated 8 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- Haskell bindings to libsystemd-journal☆21Updated 5 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated last month
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Simple reflection of expressions☆33Updated 3 years ago