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
  ☆29Updated 8 months ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 2 weeks ago
• alexfmpe / semantic-satiation
  ☆14Updated 2 years ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated this week
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 3 weeks ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 7 months ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 9 months ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆11Updated 6 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆24Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated this week
• mattia-furlan / MasterThesisCTT
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• edsko / friendly
  Generic pretty-printer for program output
  ☆11Updated last year
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆15Updated 6 years ago
• jkoppel / ecta
  ☆35Updated last year
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆30Updated 4 years ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• AndrasKovacs / misc-stuff
  Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.
  ☆21Updated 2 years ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 2 weeks ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 weeks ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 6 months ago
• jwiegley / parsec-free
  ☆23Updated last year