stevana / pipelined-state-machinesLinks
An experiment in declaratively programming parallel pipelines of state machines.
☆17Updated 2 years ago
Alternatives and similar repositories for pipelined-state-machines
Users that are interested in pipelined-state-machines are comparing it to the libraries listed below
Sorting:
- Session types framework with support of protocol pipelining.☆16Updated 2 weeks ago
- Test monadic programs using state machine based models☆19Updated 5 months ago
- A Haskell monad transformer library for data validation☆38Updated 2 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- high-powered optics in a small package☆53Updated 3 months ago
- Chapelure is a diagnostic library for Haskell☆46Updated 2 years ago
- A structured concurrency library☆86Updated 10 months ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- APIs for more recursive definitions☆19Updated last year
- ☆50Updated 5 months ago
- A modern Haskell debugger☆31Updated 8 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Example language server (LSP) implementation for a toy language☆60Updated 4 years ago
- Generate your PureScript types and API client from a Haskell Servant backend.☆31Updated 2 years ago
- ☆22Updated last year
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Haskell port of the Nanopass Compiler Framework☆23Updated 2 weeks ago
- An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.☆21Updated 2 years ago
- ☆24Updated 3 weeks ago
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago
- Example uses of linear types☆43Updated 5 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- ICFP tutorial☆39Updated 4 years ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 11 months ago
- ☆50Updated 3 months ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆60Updated last week