Or, perhaps, you’d like to see my colorful AI ecosystem.
Here’s a little Monte Carlo board game AI that can play a few board games. See if you can beat it at Pentago!
My itch.io page has some of my other games.
Here’s a blue circle. What does it do? Well, you can do linear logic with it. How? No one knows. Source code here. (This will eventually be a game with a tutorial and instructions, but in the meantime you get no explanation whatsoever.)
This page contains some nonsense about lambda calculus. Eventually, it’ll be a full-fledged interactive theorem prover (hopefully).