edemaine / mathcestorLinks
Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
☆19Updated last year
Alternatives and similar repositories for mathcestor
Users that are interested in mathcestor are comparing it to the libraries listed below
Sorting:
- A little library of bit-based data structures.☆21Updated 4 months ago
- Metamath verifier in Python☆40Updated 7 months ago
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- ☆24Updated 2 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆122Updated last week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Updated 4 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- Brainstorming and mind mapping with a simple, beautiful UX☆21Updated 7 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- A graphical editor for graph-like structures☆103Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- ☆27Updated this week
- Formalizing results about the Mandelbrot set in Lean☆27Updated last month
- JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…☆34Updated 2 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- Online BDD Simulation Tool☆25Updated 6 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 8 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 4 months ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- ACSets: Algebraic databases as in-memory data structures☆27Updated last week
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated 3 months ago
- A browser extension to convert TeX to Unicode in browser inputs.☆66Updated 5 months ago
- ☆24Updated 3 years ago
- Better LaTeX that compiles to LaTeX☆26Updated 3 months ago
- Relational Algebra, now with more algebra!☆55Updated 4 months ago
- BQN implementation in Julia☆18Updated 3 years ago