edemaine / mathcestorLinks
Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
☆17Updated last year
Alternatives and similar repositories for mathcestor
Users that are interested in mathcestor are comparing it to the libraries listed below
Sorting:
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Metamath verifier in Python☆40Updated last month
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last week
- McLulang: The message is the language☆11Updated 10 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Composable autodiff for the interactive web.☆26Updated 9 months ago
- The rule-based graph programming language GP 2☆68Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- *cheep cheep shriek caw*☆94Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 9 months ago
- Python bindings for the egg-smol rust library☆81Updated last week
- ☆22Updated 2 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆35Updated 3 months ago
- ACSets: Algebraic databases as in-memory data structures☆25Updated 2 months ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- ☆67Updated 3 years ago
- Straightforward unification in Python that's extensible via generic functions.☆49Updated 10 months ago
- Operations with matrices, SWI pack☆13Updated last year
- (early experiments toward) a version-control system for structured data☆17Updated last year
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- library learning w egraphs☆20Updated 2 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- A graphical editor for graph-like structures☆99Updated last year
- SWI-Prolog WebAssembly build as a NPM package☆51Updated this week
- BQN implementation in Julia☆18Updated 3 years ago
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year