Team / organization
@oralang
repos
1
stars
26
forks
contributors
open issues
8
active 30d
Smart contract language with formal verification. Built with Zig for safety and performance
ngmachado
1,057 commits · 1 repos
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
