Alternatives and similar repositories for mathezirkel-kurs

Users that are interested in mathezirkel-kurs are comparing it to the libraries listed below

• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated this week
• byorgey / species
  ☆17Updated 2 months ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆124Updated 3 years ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 5 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆46Updated 5 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• iblech / vortrag-haskell
  Slides for an introductory talk about Haskell (in German)
  ☆11Updated 5 years ago
• wyager / CPU
  CPU Building Tutorial
  ☆51Updated 8 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆147Updated 10 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated 3 months ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• leptonyu / tensors
  Tensors in Haskell
  ☆40Updated last week
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• dlicata335 / hott-agda
  ☆84Updated 8 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆117Updated 10 months ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆163Updated 6 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 3 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 8 months ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆23Updated 6 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆84Updated 10 years ago