stevana / pipelined-state-machinesLinks
An experiment in declaratively programming parallel pipelines of state machines.
☆18Updated 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:
- ☆49Updated 3 weeks ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- A modern Haskell debugger☆31Updated 9 months ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- high-powered optics in a small package☆53Updated 4 months ago
- Session types framework with support of protocol pipelining.☆16Updated last month
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- GHC plugin to desugar ! into do-notation☆38Updated 10 months ago
- Test monadic programs using state machine based models☆19Updated 6 months ago
- Example language server (LSP) implementation for a toy language☆60Updated 4 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 3 weeks ago
- 📊 Haskell dependencies build times profiler☆74Updated 3 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Updated last week
- Haskell monad transformer for weighted, non-deterministic computation☆32Updated last year
- ☆50Updated 4 months ago
- A Haskell monad transformer library for data validation☆38Updated 2 years ago
- reverse dependency build matrix generator☆33Updated 5 years ago
- ☆21Updated last year
- APIs for more recursive definitions☆19Updated last year
- Bidirectional JSON serialization☆40Updated 4 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- ☆19Updated 5 months ago
- todo and unimplemented, robustly implemented☆36Updated last year
- A logical authorization system☆51Updated 3 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Updated last week
- An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.☆21Updated 2 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 5 years ago
- A structured concurrency library☆86Updated 11 months ago
- Create temporary postgres instances☆56Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago