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 / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆29Updated 5 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆32Updated 2 years ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated last month
• Foadsf / Awesome-FLOSS-CAS
  A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…
  ☆34Updated last year
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆80Updated last month
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 9 months ago
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• WolframResearch / wolfram-app-discovery-rs
  Locate local installations of the Wolfram Language.
  ☆18Updated 11 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆94Updated 2 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆41Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated 2 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆33Updated 2 years ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆40Updated 3 months ago
• dubrousky / mockmma
  ☆30Updated 8 years ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆76Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆44Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆71Updated 3 years ago
• sudgy / ganim
  A math animation engine based on geometric algebra
  ☆34Updated 7 months ago