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
  ☆58Updated 7 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 2 weeks ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 3 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆21Updated 8 months ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆69Updated 2 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆110Updated last week
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• thehottgame / theHoTTGameGuide
  ☆24Updated last month
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆109Updated 10 years ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated last month
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆55Updated 3 weeks ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆209Updated 5 years ago
• cedille / ial
  The Iowa Agda Library
  ☆49Updated this week
• gelisam / klister
  an implementation of stuck macros
  ☆145Updated last week
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆163Updated last year
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 3 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆61Updated 2 months ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆61Updated 2 months ago
• jespercockx / ataca
  A TACtic library for Agda
  ☆49Updated last year
• davidsd / hyperion
  A Haskell framework for running concurrent computations on an HPC cluster.
  ☆10Updated last month
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆46Updated last year
• JohnReppy / sml-lsp-kit
  Standard ML Infrastructure for writing LSP servers
  ☆14Updated 11 months ago
• mchakravarty / hoas-conv
  Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)
  ☆21Updated 12 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆77Updated 3 years ago
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆21Updated 2 years ago