Alternatives and similar repositories for mathezirkel-kurs

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

• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated last week
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated this week
• iblech / vortrag-haskell
  Slides for an introductory talk about Haskell (in German)
  ☆11Updated 5 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated last year
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• orome / crypto-enigma-hs
  A Haskell Enigma machine simulator with rich display and machine state details.
  ☆23Updated 2 years ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 5 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 4 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆147Updated 10 years ago
• cfredric / NumberTheory
  A Haskell number theory library.
  ☆15Updated 8 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 4 months ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆122Updated 3 years ago
• byorgey / species
  ☆17Updated last year
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated 2 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 3 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 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…
  ☆30Updated last year
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆41Updated 6 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆37Updated 6 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• mietek / research
  Work in progress
  ☆38Updated 3 months ago
• HoTT / M-types
  A formalization of M-types in Agda
  ☆34Updated 5 years ago
• erebe / systemd
  Haskell bindings for systemd
  ☆19Updated last year
• dpiponi / Operators
  Some operator abuse
  ☆29Updated 7 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated 3 weeks ago