Smart contract language with formal verification. Built with Zig for safety and performance - View it on GitHub