sdzx-1 / typed-fsm
typed finite-state machine
☆16Updated 2 months ago
Alternatives and similar repositories for typed-fsm:
Users that are interested in typed-fsm are comparing it to the libraries listed below
- Leightweight generalized parser combinators☆19Updated last year
- Library to support efficient compilation of large records (linear in the number of record fields)☆45Updated 3 months ago
- Automatically generate Haskell bindings from C header files☆34Updated this week
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 7 months ago
- Session types framework with support of protocol pipelining.☆16Updated 3 weeks ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated 2 months ago
- ☆42Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆37Updated last month
- ☆34Updated 3 years ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- ☆80Updated 2 weeks ago
- Format Haskell package descriptions.☆50Updated this week
- A Typeclass for user-facing output☆55Updated 3 weeks ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Haskell Actors☆25Updated last year
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 8 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- ☆31Updated 3 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated 2 months ago
- ☆40Updated last month
- An interface for GHC type-checking plugins☆20Updated 2 months ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated this week
- Source material for Certainty by Construction☆39Updated last year
- ☆12Updated last week
- Examples for Streamly☆28Updated this week
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Set breakpoints using a GHC plugin☆47Updated 8 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆89Updated 5 months ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆23Updated last month
- Overloaded plugin☆30Updated 7 months ago