sdzx-1 / typed-fsm
typed finite-state machine
☆14Updated this week
Related projects ⓘ
Alternatives and complementary repositories for typed-fsm
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- An interface for GHC type-checking plugins☆20Updated 3 weeks ago
- Staged push/pull fusion with typed Template Haskell☆57Updated 11 months ago
- ☆34Updated 3 years ago
- Leightweight generalized parser combinators☆17Updated 11 months ago
- ☆37Updated this week
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Updated this week
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 5 months ago
- ☆38Updated 5 months ago
- Reimplementation of a subset of Cabal☆23Updated this week
- A modern Haskell debugger☆29Updated last year
- A Typeclass for user-facing output☆53Updated 3 weeks ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- ☆73Updated this week
- GHC plugin to desugar ! into do-notation☆37Updated 6 months ago
- Haskell library for doing category theory with a central role for profunctors☆18Updated this week
- Library to support efficient compilation of large records (linear in the number of record fields)☆44Updated last month
- ☆30Updated 3 years ago
- A really small example of the Backpack module system for Haskell☆50Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆23Updated 2 months ago
- Typed HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI☆37Updated 3 weeks ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated last year
- coverage driven random testing framework☆21Updated 2 weeks ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Batteries-included structured logging library☆29Updated 2 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 4 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago