An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

A discord bot that provides solutions to LeetCode problems in multiple languages

A community-maintained Python framework for creating mathematical animations.