Smart contract language with formal verification. Built with Zig for safety and performance
☆29Oct 25, 2026Updated this week
Alternatives and similar repositories for ora
Users that are interested in ora are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sensei IR's old home. Now to be found in the monorepo.☆19Feb 26, 2026Updated 8 months ago
- The home of the Plank Compiler and Sensei IR, its language agnostic EVM IR & backend.☆68Updated this week
- Demo multi-chain custodial Stablecoin system, operated by Silverback☆13Apr 29, 2025Updated last year
- ☆47Sep 22, 2024Updated 2 years ago
- A ⁵⁄₉-themed NFT to commemorate me running 10000km in 555 days of running everyday.☆62Jan 20, 2026Updated 9 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Edge is a high level, strongly statically typed, multi-paradigm domain specific language for the Ethereum Virtual Machine (EVM) built in …☆148Mar 16, 2026Updated 7 months ago
- A Huff compiler implemented in Racket☆23Mar 7, 2025Updated last year
- The new huff compiler, with improved codegen, label semantics & error messages.☆160Mar 15, 2026Updated 7 months ago
- Noir support for Zed☆12Mar 23, 2026Updated 7 months ago
- Core traits and libraries extracted from Foundry, published as crates so they can be depended on without git references.☆23Updated this week
- Awesome things around client-side GPU ecosystems.☆18Mar 23, 2026Updated 7 months ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Auto top-up contracts for Superfluid ecosystem projects.☆12Nov 23, 2022Updated 3 years ago
- Efficient, performant, thread-safe bytes/string interning in Rust.☆17Jul 3, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ERC-3770☆19Jul 9, 2024Updated 2 years ago
- ☆17Apr 22, 2026Updated 6 months ago
- a lisp built on top of vyper☆43Jan 8, 2026Updated 9 months ago
- ☆34Nov 3, 2022Updated 3 years ago
- Cross-chain message testing for Arbitrum with Foundry☆64Mar 22, 2023Updated 3 years ago
- ZKsync support for alloy☆16Mar 23, 2026Updated 7 months ago
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Zig Ethereum client library. Faster than alloy.rs on 18/26 benchmarks.☆87Updated this week
- coin maker☆18Mar 27, 2025Updated last year
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated last year
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- An onchain tournament for bots, inspired by Pac-Man and Agar.io.☆44Jun 2, 2025Updated last year
- ☆15Oct 20, 2026Updated last week
- A rust library to interact with the Vyper compiler!☆44Feb 27, 2024Updated 2 years ago
- ☆54Updated this week
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆34May 27, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Breathe air☆25May 19, 2024Updated 2 years ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 3 years ago
- Block builder bid poller, written in pure Rust☆56Apr 30, 2024Updated 2 years ago
- A curated list of zkVM, zero-knowledge virtual machine☆331Sep 29, 2025Updated last year
- ☆23Updated this week
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- ☆23May 1, 2025Updated last year