joshuahhh / drostes-lairLinks
☆17Updated 6 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☆271Updated last month
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆134Updated 7 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆79Updated 7 months ago
- Rewriting Principia Mathematica in Lean☆134Updated 3 weeks ago
- King Thirteen - a js13kGames 2024 competition entry by @mvasilkov.☆33Updated last year
- ☆52Updated last year
- A massive collaborative rube goldberg machine.☆238Updated last year
- What impact does floating point precision have on Mandelbrot set calculations?☆108Updated 2 years ago
- Gesture-based text editor (and shell) for the reMarkable tablet☆78Updated 6 months ago
- An ngn/k tutorial.☆207Updated last year
- the origins of J☆63Updated 2 years ago
- LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.☆52Updated last week
- ☆94Updated 8 months ago
- Brzozowski derivative python sketch☆85Updated 6 months ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated last year
- A small language that compiles to WebAssembly Text format☆74Updated last year
- text editor experiment☆203Updated 10 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- 🎁 Physical computing system.☆173Updated this week
- Prolog Home Page☆73Updated 4 months ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated this week
- Infinitely configurable integrated IDE and text editor☆127Updated 11 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Manifest manifold models with magical machinations.☆38Updated last week
- Text Adventure game in SWI Prolog.☆101Updated 2 years ago
- [WIP] A book on the k language.☆48Updated 3 years ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated last year
- a playground for making 3D art with lisp and math☆519Updated 8 months ago