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
  ☆16Updated 3 months ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆14Updated 8 months ago
• iokasimov / ya
  Extremely composable embeddable programming language
  ☆21Updated this week
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆21Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 6 months ago
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆24Updated 2 years ago
• BeFunctional / haskell-rust-ffi
  ☆15Updated last year
• Kleidukos / boreal
  ☆20Updated 2 months ago
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆11Updated last month
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 4 months ago
• BeFunctional / haskell-foreign-rust
  ☆11Updated last year
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 4 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• cdupont / Timeloop
  ☆41Updated last year
• reflex-frp / patch
  Data structures for describing changes to other data structures.
  ☆17Updated last week
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆23Updated 3 months ago
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆29Updated 5 months ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆29Updated 3 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆47Updated 6 months ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated last month
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• kasiaMarek / TyRE
  ☆26Updated last year
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated last month
• kbertalan / tyttp
  ☆19Updated 2 weeks ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated last week