edemaine / mathcestor
Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
☆13Updated 4 months ago
Related projects: ⓘ
- Experimental, recursively-embeddable, domain-specific editors and text editor☆77Updated 11 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆26Updated last week
- A formal consistency proof of Quine's set theory New Foundations☆57Updated this week
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- ☆28Updated this week
- A petrifyingly good logic programming language☆26Updated last week
- ☆45Updated this week
- My unofficial picat http://picat-lang.org/ repository☆26Updated 8 months ago
- Metamath verifier in Python☆35Updated 5 months ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- A JS devtool orchestrator☆35Updated last week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆19Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated 8 months ago
- High-level interface for low-level programming☆99Updated 3 weeks ago
- BQN implementation in Julia☆16Updated 2 years ago
- An infinite canvas implementation in <500 LOC.☆23Updated 4 months ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆13Updated 9 months ago
- Pull your compiler up with abstract bootstraps.☆30Updated last year
- tiny experimental language for limited environments☆14Updated last year
- Programmable, human-readable inlining of Python code☆29Updated last year
- Composable autodiff for the interactive web.☆20Updated 2 weeks ago
- Slides and handwritten notes on the course on models of programming languages☆48Updated 3 years ago
- A formally verified compiler for a simple language with numbers and sums☆25Updated 3 years ago
- This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using …☆43Updated 3 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated 11 months ago
- ☆10Updated 2 years ago
- The Coil Programming Language☆33Updated 6 months ago
- ☆64Updated 2 years ago
- Intuitionistic Programming Language☆11Updated 10 years ago
- A lightweight performant JavaScript parser for Rust and WebAssembly☆18Updated last month