GitHub repository: oralang/ora
Primary language: Zig
Description: Smart contract language with formal verification, compiling to EVM bytecode via Yul. Built with Zig for safety and performance