Alternatives and similar repositories for math-from-nothing

Users that are interested in math-from-nothing are comparing it to the libraries listed below

• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 5 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated last year
• dEAduction / dEAduction
  Source for the d∃∀duction project.
  ☆21Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• sudgy / ganim
  A math animation engine based on geometric algebra
  ☆33Updated 4 months ago
• nunezco2 / quAPL
  Implementation of a quantum simulator using APL
  ☆18Updated 6 months ago
• Foadsf / Awesome-FLOSS-CAS
  A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…
  ☆26Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆350Updated last week
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated last month
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated 5 months ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• rokicki / lifealg
  ☆13Updated 7 years ago
• assumptionsofphysics / book
  The "Assumptions of Physics" book
  ☆33Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 4 months ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆77Updated 2 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆215Updated last week
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆189Updated 7 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆88Updated 3 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆50Updated last year
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆121Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆30Updated last week
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆74Updated 2 months ago