Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability
☆15Oct 5, 2026Updated 2 weeks ago
Alternatives and similar repositories for arena0
Users that are interested in arena0 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.☆32Sep 30, 2026Updated 2 weeks ago
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆22Updated this week
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- Supplemental material for the "Beyond Notations" paper☆10Feb 7, 2023Updated 3 years ago
- ☆39Sep 27, 2026Updated 3 weeks 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.
- ☆12Oct 4, 2024Updated 2 years ago
- Jupyter Kernel Protocol for rust☆14May 5, 2026Updated 5 months ago
- ☆13Oct 22, 2023Updated 2 years ago
- A terminal interface for Nanocodex☆103Updated this week
- a projected filesystem that turns APIs, services, and data sources into local files and directories☆87Sep 5, 2026Updated last month
- A SwiftUI-lean GPUI component library, style flows through the environment, never through parameters.☆181Updated this week
- Open format for specifying structured assumptions and requirements about code.☆96Sep 11, 2026Updated last month
- advancing math intuition on hard problems☆33Oct 9, 2026Updated last week
- Zcash full node, built for scale.☆96Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Challenge, Rethink, Ascend☆20Sep 26, 2026Updated 3 weeks ago
- Repository for development of the TLS 1.2 and TLS 1.3 stacks in Noir, to produce ZKPs that can be published to the blockchain☆20Feb 7, 2024Updated 2 years ago
- ☆20Jul 7, 2025Updated last year
- Go library with all the services needed to request, sync and store blockchain headers.☆21Updated this week
- Exoware Library Primitives and Examples☆24Oct 9, 2026Updated last week
- P2P network service crates (alternative to rust-microservices)☆19Mar 22, 2026Updated 6 months ago
- An implementation of a namespaced merkle tree in Rust.☆33Jun 11, 2025Updated last year
- NPM Modules for proving and verifying using TLSNotary in the browser☆26Feb 4, 2026Updated 8 months ago
- Minimalist auth service using Ethereum / ENS identities (JWT)☆11Oct 25, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Google's list of Certificate Transparency logs as a rust crate for use with sct.rs☆14Feb 17, 2023Updated 3 years ago
- A library for managing groups of lambdas.☆10Oct 8, 2026Updated last week
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated 2 years ago
- A collection of terminal application starters built with OpenTUI.☆29Dec 21, 2025Updated 9 months ago
- Lean specification of neural architectures with verified GPU codegen.☆34Updated this week
- Parallel Computing in IPython tutorial, SciPy 2011☆11Jul 12, 2011Updated 15 years ago
- ☆72Updated this week
- Moved to https://github.com/RealityETH/monorepo/tree/main/packages/contracts☆15Dec 8, 2022Updated 3 years ago
- ☆14Sep 21, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A proof of Conway's refinement conjecture in Lean☆55Sep 3, 2026Updated last month
- ☆25Jun 5, 2025Updated last year
- uwu stack☆11Jan 8, 2025Updated last year
- ☆13Aug 15, 2024Updated 2 years ago
- Wordle Game Implemented with Optimint☆15Apr 3, 2024Updated 2 years ago
- Loop-Driven Development with OpenCode☆33Jan 6, 2026Updated 9 months ago
- A small tool to help check NAT issues☆12Dec 4, 2018Updated 7 years ago