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 / vortrag-haskell
  Slides for an introductory talk about Haskell (in German)
  ☆11Updated 5 years ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 5 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated 2 months ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated 2 months ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated 11 months ago
• cfredric / NumberTheory
  A Haskell number theory library.
  ☆15Updated 8 years ago
• byorgey / species
  ☆17Updated 2 months ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 7 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• ekmett / fractions
  lazy continued fractions
  ☆19Updated 10 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
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆31Updated 7 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆163Updated 6 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆46Updated 5 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 5 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆139Updated last year
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 7 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆123Updated 3 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago