oralang/ora

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

语言：Zig · GitHub 星标：29 · Fork：1

话题：ethereum · evm · formal-verification · language · smart-contracts

在 GitHub 上查看原仓库