Alternatives and similar repositories for fp-notes

Users that are interested in fp-notes are comparing it to the libraries listed below

• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 2 weeks ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 5 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆37Updated last month
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆133Updated 2 years ago
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆32Updated 2 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆56Updated 4 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆39Updated last month
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆66Updated last month
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆83Updated 4 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• ohad / collie
  Command line interface library in Idris
  ☆32Updated last year
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated last year
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated last month
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆79Updated 2 years ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆65Updated 8 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆32Updated 4 years ago