Alternatives and similar repositories for math-from-nothing

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

• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• Foadsf / Awesome-FLOSS-CAS
  A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…
  ☆27Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆29Updated 5 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆33Updated this week
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆49Updated 6 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆36Updated 6 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 2 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 5 months ago
• sudgy / ganim
  A math animation engine based on geometric algebra
  ☆34Updated 4 months ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆26Updated this week
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆356Updated 2 weeks ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆77Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆89Updated 3 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆38Updated 10 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆36Updated 2 months ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆145Updated last year
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆189Updated 8 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆51Updated last year
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 3 years ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆32Updated last month
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆37Updated 4 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆54Updated last week
• dubrousky / mockmma
  ☆30Updated 7 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year