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:
- Better LaTeX that compiles to LaTeX☆26Updated 3 months ago
- Metamath verifier in Python☆40Updated 7 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 3 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated last month
- SWI-Prolog WebAssembly build as a NPM package☆58Updated this week
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- a pure julia APL implementation that gets mostly "compiled out"☆66Updated 3 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated 3 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆30Updated 2 years ago
- Call Julia code from Prolog☆27Updated 3 years ago
- Multiroom meeting app integrating web tools☆46Updated last year
- A Julia package for Prolog-style logic programming.☆177Updated 2 years ago
- Python bindings for the egglog rust library☆94Updated this week
- A computer algebra system for research in combinatorial game theory☆54Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Updated last year
- A literate programming system for any language.☆120Updated last year
- A graphical editor for graph-like structures☆102Updated 2 years ago
- ☆76Updated 3 months ago
- ☆24Updated 2 years ago
- JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…☆34Updated this week
- A Tensor Language☆55Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- ☆11Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Updated 2 years ago
- ☆16Updated 4 years ago
- ☆27Updated 2 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago