Alternatives and similar repositories for howto

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

• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 11 months ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 4 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆113Updated last month
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated last year
• cedille / ial
  The Iowa Agda Library
  ☆53Updated last month
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 3 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆24Updated 5 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆73Updated 5 months ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆110Updated 10 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 4 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆63Updated 6 months ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆77Updated 3 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• uwplse / StructTact
  Coq utility and tactic library.
  ☆27Updated 2 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆113Updated 2 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆92Updated 3 weeks ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆41Updated 4 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆121Updated 7 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆55Updated 8 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated 2 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆61Updated this week
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 3 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 3 weeks ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆118Updated last year
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 4 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆63Updated 5 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last week
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated 3 months ago