joshuahhh / drostes-lair
☆16Updated last month
Alternatives and similar repositories for drostes-lair
Users that are interested in drostes-lair are comparing it to the libraries listed below
Sorting:
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆125Updated 3 months ago
- ☆85Updated 3 months ago
- a splitting sand game☆16Updated 2 years ago
- 🎁 Physical computing system.☆135Updated this week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 7 months ago
- A calligraphic esolang☆237Updated 3 weeks ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- Polylab polylog pollywog☆19Updated last week
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated 11 months ago
- ☆35Updated 11 months ago
- Compute aesthetically.☆82Updated last week
- ☆44Updated 3 months ago
- the origins of J☆62Updated last year
- ☆39Updated last month
- archived prototype for sketching dynamic models☆30Updated 3 months ago
- An interaction combinator runtime☆17Updated 7 months ago
- Simple live calculator in tree-sitter + cranelift jit☆74Updated 5 months ago
- The PlantStudio Botanical Illustration Software is a tool for creating 3D plant models (including through breeding them in an evolutionar…☆55Updated 6 years ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 2 months ago
- Rewriting Principia Mathematica in Lean☆128Updated 5 months ago
- Macro-based string templating.☆21Updated last week
- Catalog of visual lambda calculi☆136Updated last month
- An accessible, language-inclusive programming language and IDE for creating interactive typography on the web.☆71Updated this week
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆103Updated this week
- [WIP] A book on the k language.☆45Updated 2 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆173Updated 3 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- A toy Wolfram language interpreter.☆35Updated 6 months ago