edemaine / mathcestor
Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
☆13Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for mathcestor
- Macro-based string templating.☆20Updated 2 months ago
- tiny experimental language for limited environments☆17Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- Composable autodiff for the interactive web.☆22Updated last month
- A JS devtool orchestrator☆37Updated this week
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆20Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A petrifyingly good logic programming language☆30Updated this week
- egg is a flexible, high-performance e-graph library☆9Updated 7 months ago
- BQN implementation in Julia☆17Updated 2 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆13Updated 11 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- Here we give programs that check if Turing machines halt or not.☆10Updated this week
- HTML DSL AFAICT☆15Updated last year
- 💐 j is a subset of J, and an essay.☆35Updated 11 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆44Updated this week
- a splitting sand game☆15Updated last year
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆16Updated 9 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- A digital garden on science in the era of computers and networks (moved to https://codeberg.org/khinsen/science-in-the-digital-era)☆11Updated 11 months ago
- Binary Lambda Calculus Virtual Machine☆45Updated 9 months ago
- An Impractical Stack Language☆13Updated 4 years ago