Alternatives and similar repositories for OpenhackC4H:

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

• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆216Updated this week
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆287Updated 3 months ago
• JetBrains / Arend
  The Arend Proof Assistant
  ☆712Updated last month
• agda / cubical
  An experimental library for Cubical Agda
  ☆475Updated last week
• agda / agda-stdlib
  The Agda standard library
  ☆607Updated this week
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆152Updated last month
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆252Updated this week
• qfpl / applied-fp-course
  Applied Functional Programming Course - Move from exercises to a working app!
  ☆629Updated last year
• achlipala / frap
  Formal Reasoning About Programs
  ☆683Updated 9 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆367Updated 3 months ago
• llelf / icfp2020-papers
  ICFP 2020 papers. Crowd-sourced
  ☆91Updated 4 years ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆360Updated 2 months ago
• nonilole / Conan
  A proof editor for first order logic
  ☆26Updated 3 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated this week
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆306Updated last year
• snowleopard / alga
  Algebraic graphs
  ☆737Updated 10 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆345Updated 3 months ago
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆217Updated last month
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆224Updated 11 months ago
• ul-fmf / projekt-tomo
  Spletna storitev za poučevanje programiranja
  ☆14Updated 9 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆218Updated 2 weeks ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆431Updated last week
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,300Updated last week
• haskell / hackage-server
  Hackage-Server: A Haskell Package Repository
  ☆425Updated this week
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆201Updated 3 years ago
• lehins / massiv
  Efficient Haskell Arrays featuring Parallel computation
  ☆385Updated 2 months ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆304Updated 2 years ago
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆579Updated last year
• DataHaskell / dh-core
  Functional data science
  ☆140Updated 3 years ago