diff options
| author | Elizabeth Hunt <me@liz.coffee> | 2026-01-14 23:32:13 -0800 |
|---|---|---|
| committer | Elizabeth Hunt <me@liz.coffee> | 2026-01-14 23:34:02 -0800 |
| commit | ff0c75d52eec175374430347b3c11594c322e104 (patch) | |
| tree | 890b8432c84619fba34ef04fa915765c20663000 /src | |
| parent | 582e19eb7dfc21649e6734447a4139de90235f4e (diff) | |
| download | lizdotcoffee-release.tar.gz lizdotcoffee-release.zip | |
Diffstat (limited to 'src')
| -rw-r--r-- | src/toys.md | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/src/toys.md b/src/toys.md index 9639e9a..0351468 100644 --- a/src/toys.md +++ b/src/toys.md @@ -13,7 +13,7 @@ These are the web-based toys I've ported over (so far) from my old website. New #### The Abstraction Engine <div class="text-center"> - <img src="/assets/lambda.png" width="500"> + <img src="/assets/lambda.png" style="max-width:500px;width:100%;"> </div> 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. @@ -27,7 +27,7 @@ Due to the game's inner complexity and the fact that I just keep getting discour #### Tabloid Closures <div class="text-center"> - <img src="/assets/tabloid.png" width="500"> + <img src="/assets/tabloid.png" style="max-width:500px;width:100%;"> </div> 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 @@ -40,7 +40,7 @@ valid merge sort and binary tree traversal programs. #### Gödel Number Playground <div class="text-center"> - <img src="/assets/godel.png" width="500"> + <img src="/assets/godel.png" style="max-width:500px;width:100%;"> </div> 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. @@ -52,19 +52,17 @@ A PEG grammar (I'd hardly call this a compiler) which computes the [Gödel numbe #### Turing Machine <div class="text-center"> - <img src="/assets/turing.png" width="500"> + <img src="/assets/turing.png" style="max-width:500px;width:100%"> </div> -World's smallest VM & bytecode compiled language? - -[Click here to find out](/toys/turing). +[I swear the tape is infinite](/toys/turing). --- #### Euler Golf 2 <div class="text-center"> - <img src="/assets/euler.png" width="500"> + <img src="/assets/euler.png" style="max-width:500px;width:100%"> </div> Euler Golf 2 is a reimplemetation and solver of [Val Hovey's Euler Golf](https://valhovey.github.io/EulerGolf). @@ -76,7 +74,7 @@ Euler Golf 2 is a reimplemetation and solver of [Val Hovey's Euler Golf](https:/ #### Julia Explorer <div class="text-center"> - <img src="/assets/julia.png" width="500"> + <img src="/assets/julia.png" style="max-width:500px;width:100%"> </div> A quick experiment with [GPU.js](https://gpu.rocks/#/). @@ -88,7 +86,7 @@ A quick experiment with [GPU.js](https://gpu.rocks/#/). #### A Fourier New Year <div class="text-center"> - <img src="/assets/fourier.png" width="500"> + <img src="/assets/fourier.png" style="max-width:500px;width:100%"> </div> 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. |
