Alternatives and similar repositories for howto

Users that are interested in howto are comparing it to the libraries listed below

• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 9 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆146Updated this week
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated last month
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆71Updated 3 months ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆120Updated 5 months ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆22Updated 9 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆109Updated this week
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆109Updated 10 years ago
• jozefg / nbe-for-mltt
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆129Updated last year
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated last year
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆166Updated 9 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 2 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆63Updated 3 months ago
• cedille / ial
  The Iowa Agda Library
  ☆49Updated last month
• OPLSS / oplss-notes-2018
  Notes and handouts from OPLSS 2018
  ☆55Updated 7 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆133Updated last year
• wenkokke / AutoInAgda
  Proof automation – for Agda, in Agda.
  ☆44Updated 5 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated 2 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 5 years ago
• jozefg / higher-order-unification
  A small implementation of higher-order unification
  ☆191Updated 8 years ago
• rocq-community / coq-plugin-template
  Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
  ☆22Updated 2 years ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆11Updated 2 months ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆168Updated last year
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆78Updated 2 months ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆74Updated 3 years ago
• diku-dk / sml-server
  Web server infrastructure for Standard ML
  ☆15Updated 2 years ago