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
  ☆54Updated 3 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 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 5 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 3 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 🚧
  ☆139Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆40Updated 4 months ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 8 years ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆27Updated 2 months ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆37Updated 5 months ago
• ohad / collie
  Command line interface library in Idris
  ☆32Updated last year
• transient-haskell / transient-stack
  All the Transient libraries
  ☆43Updated last week
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆42Updated last week
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆68Updated last month
• vmchale / dickinson
  Text generation language
  ☆34Updated 4 months ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆27Updated 2 months ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆178Updated last week
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆62Updated 3 years ago
• cdupont / Timeloop
  ☆41Updated 2 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆23Updated 3 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 2 years ago