Alternatives and similar repositories for typefuck-haskell

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

• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 11 months ago
• Kleidukos / boreal
  ☆20Updated 3 weeks 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
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆26Updated 2 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆22Updated 2 years ago
• MercuryTechnologies / ada
  A helpful AI assistant for Mercury engineers
  ☆17Updated 8 months ago
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 9 months ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆18Updated 3 months ago
• marseillebd / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆22Updated 2 weeks ago
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆17Updated 4 months ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• kozross / diablerie
  All the byte bashing you didn't know you wanted in Haskell.
  ☆21Updated 3 years ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated 6 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated this week
• osa1 / h10
  A Haskell 2010 type checker
  ☆17Updated last year
• idris-community / katla
  ☆19Updated last month
• isovector / ldtk-types
  Types for ldtk
  ☆15Updated last year
• ReplicaTest / REPLica
  Golden tests for command-line interfaces.
  ☆19Updated 2 years ago
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆15Updated last year
• wasp-lang / strong-path
  Strongly typed paths in Haskell
  ☆15Updated 2 years ago
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated 3 months ago
• eayus / sirdi
  Package manager for Idris
  ☆36Updated 2 years ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆18Updated last year
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• cdupont / Timeloop
  ☆41Updated last year