Rare find

ora. Smart contract language with formal verification. Built with Zig for safety and performance

github.com/oralang/ora

Problem

Audience

Updates

No founder updates yet. Check back soon.