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. Your character is a Lambda and you aim to eat the Curry 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. 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 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.
Tabloid Closures
For fun (and procrastination) I added closures to the Tabloid esoteric programming language and wrote lambda-calculus-inspired primitives of pair/cons, then extended them to valid merge sort and binary tree traversal programs.
Gödel Number Playground
A PEG grammar (I'd hardly call this a compiler) which computes the Gödel number from a valid L program.
View your favorite L program's Gödel number here.
Turing Machine
Euler Golf 2
Euler Golf 2 is a reimplemetation and solver of Val Hovey's Euler Golf.
Julia Explorer
A quick experiment with GPU.js.
Explore julia set fractals in real time.
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.