Alternatives and similar repositories for world-of-mathematics

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

• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 5 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆122Updated 3 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated last month
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆26Updated 5 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆110Updated 2 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 5 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• formalabstracts / formalabstracts
  ☆165Updated 5 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆65Updated 3 weeks ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆75Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆126Updated 2 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆83Updated last month
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 5 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆146Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated last month
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆104Updated last year
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 10 years ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 7 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 3 years ago
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 9 months ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆167Updated 3 weeks ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 3 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year