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:
- Metamath verifier in Python☆41Updated 8 months ago
- Better LaTeX that compiles to LaTeX☆26Updated 4 months ago
- ☆27Updated last week
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆123Updated 3 weeks ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- A little library of bit-based data structures.☆21Updated 5 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Updated 4 months ago
- Multiroom meeting app integrating web tools☆46Updated last year
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆31Updated 2 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated 4 months ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Updated 9 months ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Updated last year
- Javascript implementation of Fractran☆15Updated 8 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆31Updated 3 years ago
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- BQN implementation in Julia☆18Updated 3 years ago
- Here we give programs that check if Turing machines halt or not.☆15Updated 5 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- A Tensor Language☆55Updated 4 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- Composable autodiff for the interactive web.☆29Updated last year
- JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…☆34Updated last month
- Code for enumeration from a CFG☆20Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆146Updated this week
- ☆24Updated 2 years ago
- Polynomial-time Meta-Interpretive Learning☆132Updated last year