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 10 months ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated last year
• conal / Collaboration
  Play/learn/work with me
  ☆112Updated last week
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 2 months ago
• cedille / ial
  The Iowa Agda Library
  ☆52Updated 2 weeks ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆120Updated 5 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆99Updated 3 months ago
• davidsd / hyperion
  A Haskell framework for running concurrent computations on an HPC cluster.
  ☆13Updated last month
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 4 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆148Updated 2 weeks ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• UniMath / Schools
  ☆92Updated 7 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆195Updated last week
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆43Updated 10 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆129Updated 4 months ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated 3 months ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 6 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆40Updated 3 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 6 years ago
• jozefg / higher-order-unification
  A small implementation of higher-order unification
  ☆192Updated 8 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆119Updated 3 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 4 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆108Updated 2 weeks ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated 2 months ago