Alternatives and similar repositories for mathezirkel-kurs

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

• 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
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated last month
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 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
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆123Updated 3 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆46Updated 5 years ago
• wyager / CPU
  CPU Building Tutorial
  ☆51Updated 8 years ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated last month
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 7 months ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 6 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆50Updated 2 years ago
• walck / learn-physics
  A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…
  ☆185Updated 2 years ago
• ekmett / fractions
  lazy continued fractions
  ☆19Updated 10 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated 10 months ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 4 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆117Updated 8 months ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• dpiponi / Operators
  Some operator abuse
  ☆29Updated 8 years ago
• leptonyu / tensors
  Tensors in Haskell
  ☆40Updated 2 months ago
• byorgey / species
  ☆17Updated last month
• orome / crypto-enigma-hs
  A Haskell Enigma machine simulator with rich display and machine state details.
  ☆23Updated 2 years ago
• scravy / simplex
  Simple LaTeX
  ☆17Updated last year
• gstew5 / games
  ☆10Updated 5 years ago