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
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 3 months ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated 3 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• blynn / compiler
  The adventures of a Haskell compiler
  ☆232Updated 5 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated last month
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆133Updated 2 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆83Updated 4 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated last year
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated last month
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 7 years ago
• cdupont / Timeloop
  ☆41Updated last year
• ollef / rock
  Build system
  ☆128Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 11 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆88Updated 2 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 8 months ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆64Updated 8 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆42Updated last month
• effectfully-ou / sketches
  A Haskell blog
  ☆149Updated 2 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated last year
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆81Updated 3 years ago