Alternatives and similar repositories for fp-notes

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

• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆40Updated 4 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 5 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆67Updated 8 years ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆138Updated 2 years ago
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆57Updated 4 years ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆82Updated 2 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 4 years ago
• effectfully / sketches
  A Haskell blog
  ☆151Updated 4 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆42Updated 3 weeks ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆179Updated this week
• cdupont / Timeloop
  ☆41Updated 2 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆27Updated 2 months ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆86Updated 4 years ago
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆34Updated 3 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆69Updated this week
• 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
  ☆44Updated this week
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 3 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆65Updated last year
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 3 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆95Updated 2 weeks ago