stevana / pipelined-state-machines
An experiment in declaratively programming parallel pipelines of state machines.
☆15Updated last year
Alternatives and similar repositories for pipelined-state-machines:
Users that are interested in pipelined-state-machines are comparing it to the libraries listed below
- Test monadic programs using state machine based models☆17Updated 5 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Algebraic effects in the Bluefin effect system☆15Updated 9 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆58Updated last month
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated last month
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Examples for Streamly☆29Updated this week
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 9 months ago
- Session types framework with support of protocol pipelining.☆16Updated 2 weeks ago
- APIs for more recursive definitions☆19Updated 3 months ago
- Haskell program configuration using higher kinded data☆29Updated 9 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- ☆49Updated last month
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 4 months ago
- Example language server (LSP) implementation for a toy language☆60Updated 3 years ago
- Automation for releasing haskell packages☆18Updated last year
- Leightweight generalized parser combinators☆19Updated last year
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- todo and unimplemented, robustly implemented☆33Updated 5 months ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆19Updated 4 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 3 weeks ago
- HLint as a GHC source plugin.☆31Updated 7 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Updated 2 years ago
- A library for schema-guided serialization of Haskell datatypes☆16Updated 4 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- higher-kinded data☆30Updated last year