sdzx-1 / typed-fsm

Related projects ⓘ

Alternatives and complementary repositories for typed-fsm

• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated 2 weeks ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• noughtmare / gpc
  Leightweight generalized parser combinators
  ☆17Updated 11 months ago
• well-typed / falsify
  ☆38Updated 5 months ago
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆44Updated 3 weeks ago
• sdzx-1 / typed-session
  https://hackage.haskell.org/package/typed-session
  ☆10Updated last month
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆57Updated 10 months ago
• well-typed / memory-usage-zurihac-2021
  ☆35Updated 3 years ago
• nomeata / haskell-bounds-bump-action
  Create PR to bump Haskell dependency bounds
  ☆24Updated 8 months ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated 6 months ago
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆18Updated this week
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆23Updated 2 months ago
• MangoIV / cabal-audit
  audit your cabal projects for haskell-specific security-advisories
  ☆21Updated this week
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆45Updated last week
• amesgen / jsaddle-wasm
  JSaddle integration for the GHC WASM backend
  ☆11Updated 2 weeks ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆35Updated 3 months ago
• haskell-text / text-display
  A Typeclass for user-facing output
  ☆53Updated 2 weeks ago
• tweag / ghc-wasm-miso-examples
  ☆34Updated 2 weeks ago
• danidiaz / really-small-backpack-example
  A really small example of the Backpack module system for Haskell
  ☆50Updated last year
• tfausak / cabal-gild
  Format Haskell package descriptions.
  ☆48Updated last month
• nomeata / haskell-on-fastly
  Experiments about running Haskell via WebAssembly on Fastly
  ☆38Updated last year
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆49Updated 8 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆23Updated this week
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last month
• deech / cabal-auto-expose
  ☆30Updated 3 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆28Updated 3 years ago
• martijnbastiaan / doctest-parallel
  Test interactive Haskell examples
  ☆27Updated 3 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated last week