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
  ☆36Updated this week
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆53Updated last month
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated 9 months ago
• vmchale / dickinson
  Text generation language
  ☆34Updated last month
• 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
  ☆78Updated 4 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆83Updated 3 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆86Updated 3 weeks ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆60Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆63Updated 8 years ago
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆30Updated 2 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 4 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 5 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 9 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 5 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 10 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆54Updated 5 months ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 4 years ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆131Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 4 months ago