Alternatives and similar repositories for howto

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

• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 5 months ago
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 8 months ago
• benediktahrens / CT4P
  ☆34Updated 8 months ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆169Updated 4 years ago
• andrejbauer / formalized-mathematics-in-lean
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆25Updated 6 months ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated last week
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated last month
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆101Updated this week
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆85Updated 3 weeks ago
• cedille / ial
  The Iowa Agda Library
  ☆48Updated last month
• UniMath / Schools
  ☆86Updated 2 months ago
• emilypi / group-theory
  The theory of groups
  ☆79Updated last year
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆99Updated last week
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated last week
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆67Updated this week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• conal / Collaboration
  Play/learn/work with me
  ☆106Updated 2 months ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• affeldt-aist / infotheo
  A Rocq formalization of information theory and linear error-correcting codes
  ☆71Updated last week
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 10 months ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated this week
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆127Updated last year
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆35Updated 7 months ago