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 6 months ago
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 8 months ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• cedille / ial
  The Iowa Agda Library
  ☆48Updated last month
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 2 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 10 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆97Updated last week
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆109Updated 10 years ago
• conal / Collaboration
  Play/learn/work with me
  ☆106Updated 3 months ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 3 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆144Updated this week
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆21Updated 7 months ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• b-mehta / topos
  Topos theory in lean
  ☆63Updated 4 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated 3 weeks ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆166Updated 6 months ago
• jozefg / nbe-for-mltt
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆128Updated last year
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆55Updated 5 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆173Updated 4 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆112Updated 2 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆190Updated last week
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆52Updated last year
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆208Updated 5 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆55Updated last month
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆25Updated last month