Alternatives and similar repositories for fp-notes

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

• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated last month
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆39Updated 3 months ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 8 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 3 weeks ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 3 months ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• transient-haskell / transient-stack
  All the Transient libraries
  ☆43Updated last week
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated last year
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆66Updated 8 years ago
• cdupont / Timeloop
  ☆41Updated 2 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated 9 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆134Updated 2 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated this week
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆41Updated 2 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆56Updated 2 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆27Updated last month
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆84Updated 4 years ago