{"owner":"oralang","github":"https://github.com/oralang","claimed":false,"inventory":[],"indexed":[{"repo":"oralang/ora","github":"https://github.com/oralang/ora","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"}],"how_to_buy":"GET /r/oralang/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}