Alternatives and similar repositories for mathezirkel-kurs

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

• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 2 weeks ago
• 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
  ☆95Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated last month
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated 4 months ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• byorgey / species
  ☆17Updated 4 months ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated last year
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆74Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 11 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 6 years ago
• wyager / CPU
  CPU Building Tutorial
  ☆51Updated 8 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆46Updated 5 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆139Updated last year
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 9 months ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated last week
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 3 months ago
• dpiponi / Operators
  Some operator abuse
  ☆29Updated 8 years ago
• cfredric / NumberTheory
  A Haskell number theory library.
  ☆15Updated 8 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆125Updated 3 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• dlicata335 / hott-agda
  ☆86Updated 8 years ago
• scravy / simplex
  Simple LaTeX
  ☆17Updated last year
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆62Updated 7 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago