Alternatives and similar repositories for fp-notes

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

• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆39Updated 3 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆53Updated 2 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆57Updated 4 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆137Updated 2 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆41Updated 5 years ago
• jkoppel / ecta
  ☆37Updated last year
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• cdupont / Timeloop
  ☆41Updated 2 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 3 months ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated last month
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆43Updated last week
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆85Updated 4 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated 2 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆34Updated 2 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 11 months ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 3 months ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year