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 5 months ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 7 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated 10 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 5 months ago
• Kleidukos / boreal
  ☆20Updated 3 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 5 months ago
• ChrisPenner / recursive-zipper
  Zippers for cofree types
  ☆12Updated 3 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 8 months ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• kasiaMarek / TyRE
  ☆26Updated last year
• osa1 / h10
  A Haskell 2010 type checker
  ☆16Updated last year
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 3 weeks ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• AndrasKovacs / sett
  Setoid type theory implementation
  ☆38Updated last year
• kbertalan / tyttp
  ☆21Updated last month
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 8 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆16Updated this week
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 9 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆21Updated 2 years ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆15Updated 10 months ago
• forked-from-1kasper / anders
  Anders: Cubical Type Checker
  ☆23Updated last year
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆30Updated 3 months ago