Alternatives and similar repositories for world-of-mathematics:

Users that are interested in world-of-mathematics are comparing it to the libraries listed below

• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 7 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 12 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆101Updated last year
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆92Updated 14 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆140Updated last year
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• dschepler / coq-topology
  Topology library for Coq
  ☆12Updated 9 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 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…
  ☆178Updated 2 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• pron / pron.github.io
  ☆13Updated 4 years ago
• byorgey / species
  ☆17Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 6 months ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆36Updated 6 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆56Updated last month