Alternatives and similar repositories for unfoldable:

Users that are interested in unfoldable are comparing it to the libraries listed below

• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 2 months ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 6 months ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 2 months ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 3 months ago
• edsko / friendly
  Generic pretty-printer for program output
  ☆11Updated last year
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated last month
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 10 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• ucsd-progsys / liquid-sf
  Port "Software Foundations" to LiquidHaskell
  ☆11Updated 5 years ago
• alexfmpe / semantic-satiation
  ☆14Updated last year
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 9 months ago
• mattia-furlan / MasterThesisCTT
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Updated 2 years ago
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆17Updated 2 months ago
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆11Updated 5 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 7 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 9 months 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
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago