I recently built a small experimental programming language in Rust called SkyHetu.

The core idea is to make causality explicit: state changes are tracked, mutation history is queryable, and debugging is done by asking “why” something happened, not just what failed.

Internally it has a bytecode VM, a compiler, and a mark-and-sweep GC. It’s not production-ready and is mainly a learning and research project around language design and runtime systems.

I’d appreciate feedback on the idea, execution model, or anything that feels flawed or unnecessary.

Repo: https://github.com/Kargatharaakash/skyhetu Design notes: https://karagatharaaakash.medium.com/skyhetu-designing-a-causality-first-programming-language-in-rust-6618bd009b2b