Alternatives and similar repositories for unfoldable:

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

• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 5 months ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 3 weeks ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last month
• alexfmpe / semantic-satiation
  ☆14Updated last year
• gelisam / typechecker-combinators
  ☆17Updated 11 months ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 5 months ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 10 months ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• diagrams / dual-tree
  Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.
  ☆16Updated last month
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated last month
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 3 years ago
• forked-from-1kasper / anders
  Anders: Cubical Type Checker
  ☆24Updated last year
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 6 months ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 7 months ago
• edsko / friendly
  Generic pretty-printer for program output
  ☆11Updated last year
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 months ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 9 months ago
• haskell-streaming / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆17Updated last month
• nikita-volkov / vector-builder
  Vector builder
  ☆15Updated last month
• 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
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 3 weeks ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 10 years ago