From 94b912b649150b9863a62096ba4740b2cc8ad21a Mon Sep 17 00:00:00 2001 From: Elizabeth Alexander Hunt Date: Sun, 5 Jul 2026 12:42:44 -0700 Subject: Factor --- src/toys.md | 94 ------------------------------------------------------------- 1 file changed, 94 deletions(-) delete mode 100644 src/toys.md (limited to 'src/toys.md') diff --git a/src/toys.md b/src/toys.md deleted file mode 100644 index 0351468..0000000 --- a/src/toys.md +++ /dev/null @@ -1,94 +0,0 @@ ---- -layout: base.njk -title: Toys -description: A collection of little interactive toys and experiments ---- - -## Toys! - -These are the web-based toys I've ported over (so far) from my old website. New and improved! - ---- - -#### The Abstraction Engine - -
- -
- -A game inspired by [Baba Is You](https://store.steampowered.com/app/736260/Baba_Is_You/). Your character is a Lambda and you aim to eat the [Curry](https://en.wikipedia.org/wiki/Currying) by writing real lambda-calculus terms and applying them to other lambda-calculus terms to solve puzzles. The core is a [custom ECS engine and lambda calculus interpreter in typescript](https://code.liz.coffee/the-abstraction-engine-ts.git/). So far I've only gotten two levels as a "tech demo" showcasing basic functionality. But the groundwork was put in place to get a [fixed-point-combinator](https://en.wikipedia.org/wiki/Fixed-point_combinator) level written. - -Due to the game's inner complexity and the fact that I just keep getting discouraged, I've been procrastinating making a full rewrite and release of this on real platforms as my first "published" game. Hopefully I get there some day soon. Maybe I just need to set myself a deadline. - -[Play now](https://the-abstraction-engine.pages.dev)! - ---- - -#### Tabloid Closures - -
- -
- -For fun (and procrastination) I added closures to the [Tabloid](https://tabloid.vercel.app/) esoteric programming language and wrote lambda-calculus-inspired primitives of pair/cons, then extended them to -valid merge sort and binary tree traversal programs. - -[It is horribly inefficient](/toys/tabloid). - ---- - -#### Gödel Number Playground - -
- -
- -A PEG grammar (I'd hardly call this a compiler) which computes the [Gödel number](https://en.wikipedia.org/wiki/G%C3%B6del_numbering) from a valid L program. - -[View your favorite L program's Gödel number here](/toys/godel). - ---- - -#### Turing Machine - -
- -
- -[I swear the tape is infinite](/toys/turing). - ---- - -#### Euler Golf 2 - -
- -
- -Euler Golf 2 is a reimplemetation and solver of [Val Hovey's Euler Golf](https://valhovey.github.io/EulerGolf). - -[Play now!](/toys/euler-golf) - ---- - -#### Julia Explorer - -
- -
- -A quick experiment with [GPU.js](https://gpu.rocks/#/). - -[Explore julia set fractals in real time](/toys/julia). - ---- - -#### A Fourier New Year - -
- -
- -A quick app I hacked together for some friends on Discord at the time to explore a discrete fourier transform of the function of their mood wrt time for the year. - -[Drag your mouse on a canvas here](/toys/fourier)! -- cgit v1.3