joshuahhh / drostes-lairLinks
☆17Updated 2 months ago
Alternatives and similar repositories for drostes-lair
Users that are interested in drostes-lair are comparing it to the libraries listed below
Sorting:
- A calligraphic esolang☆276Updated last month
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- What impact does floating point precision have on Mandelbrot set calculations?☆109Updated 2 years ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆134Updated 2 weeks ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 9 months ago
- Rewriting Principia Mathematica in Lean☆136Updated 3 months ago
- the origins of J☆63Updated 2 years ago
- ☆44Updated 3 weeks ago
- [WIP] A book on the k language.☆49Updated 3 years ago
- A massive collaborative rube goldberg machine.☆244Updated last year
- A web app that generates code for efficiently approximating mathematical functions of one variable.☆98Updated last year
- ☆99Updated 10 months ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- King Thirteen — a js13kGames 2024 game by @mvasilkov.☆34Updated last year
- ☆87Updated this week
- 🎁 Physical computing system.☆188Updated this week
- ☆52Updated last year
- LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.☆53Updated last week
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Manifest manifold models with magical machinations.☆38Updated last month
- Polylab polylog pollywog☆20Updated last week
- Prolog Home Page☆73Updated 6 months ago
- Brzozowski derivative python sketch☆85Updated 8 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- A toy Wolfram language interpreter.☆38Updated last year
- An ngn/k tutorial.☆211Updated last year
- ☆68Updated 2 months ago
- Minify CSS files through refactoring☆260Updated last year
- Gesture-based text editor (and shell) for the reMarkable tablet☆81Updated 8 months ago