{"repo":"oralang/ora","free":true,"listed":false,"github":"https://github.com/oralang/ora","clone":"git clone https://github.com/oralang/ora.git","description":"Smart contract language with formal verification. Built with Zig for safety and performance","language":"Zig","stars":29,"topics":["ethereum","evm","formal-verification","language","smart-contracts"],"license":"GPL-3.0","category":"blockchain-web3","readme_excerpt":"Ora Ora is a verification-first smart-contract language and compiler for EVM. The Asuka v0.2 release focuses on proof-carrying contracts: explicit Result values, ADTs, SMT reports, ABI lowering, metrics, CFG inspection, and fail-closed compiler behavior. Asuka v0.2. The language surface is still evolving, but v0.2 is a release: supported examples should compile, unsupported shapes should diagnose, and wrong code should not become bytecode. What Ora does This contract uses refinement types ( MinValue , NonZeroAddress ), Result values ( Result ), specification clauses ( requires / ensures / old() ), events ( log ), and explicit storage. The compiler checks the full surface; the SMT verifier proves the supported properties below and fails closed when it cannot model a proof soundly. Asuka v0.2 highlights - First-class Result and error-union values with Ok , Err , match , try , ABI support, and SMT encoding. - Unified ADT handling for structs, tuples, enums, Result/error unions, and source constructors. - Z3-backed verification reports with counterexamples, trust labels, vacuity checks, degradation reasons, and fail-closed UNKNOWN handling. - Runtime ABI hardening: @abiEncode , dynamic public returns, custom-error selector reverts, dispatcher decode coverage, and ABI layout unification. - Comptime expansion for ABI helpers, ADT/Result values, partial folding, and bounded loop unrolling. - Tooling for source-level EVM debugging, LSP features, compiler metrics, SIR CFG output, and ","default_branch":null,"files":null,"tree":[],"storefront":"/r/oralang","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/oralang/ora/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}