Alternatives and similar repositories for mathezirkel-kurs:

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

• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆90Updated 4 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last week
• iblech / vortrag-haskell
  Slides for an introductory talk about Haskell (in German)
  ☆11Updated 4 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆29Updated 4 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• sdiehl / cats
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆35Updated 7 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• byorgey / species
  ☆17Updated last year
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆53Updated 2 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• coq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆9Updated last year
• arthuraa / poleiro
  A blog about Coq
  ☆47Updated 2 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆29Updated 7 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• dpiponi / Operators
  Some operator abuse
  ☆28Updated 7 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 5 months ago
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 7 years ago
• cmu-phil / Spectral
  ☆46Updated last year