Alternatives and similar repositories for typefuck-haskell:

Users that are interested in typefuck-haskell are comparing it to the libraries listed below

• MercuryTechnologies / ada
  A helpful AI assistant for Mercury engineers
  ☆17Updated 6 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 8 months ago
• Kleidukos / boreal
  ☆20Updated 5 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆21Updated 2 years ago
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆26Updated 2 weeks ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆16Updated last month
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 7 months ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆16Updated 11 months ago
• alt-romes / haskell-x-swift-project-steps
  A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
  ☆14Updated 9 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆25Updated 5 months ago
• fir-lang / fir
  ☆38Updated this week
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated last month
• ibaryshnikov / iced-hs
  Haskell wrapper for iced
  ☆31Updated this week
• osa1 / h10
  A Haskell 2010 type checker
  ☆17Updated last year
• exaexa / minihm
  toy implementation of Hindley-Milner type system that prints out inference steps
  ☆11Updated 3 weeks ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• edemko / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆22Updated last year
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated last week
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆17Updated 2 months ago
• pa-ba / AsyncRattus
  ☆10Updated 2 weeks ago
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated last month
• phase / dtt
  dependent type theory experiment
  ☆25Updated last year
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆33Updated 2 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago