Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability
☆15Oct 5, 2026Updated last month
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:
- A automated & decentralized "dead-man switch"☆11Nov 20, 2025Updated 11 months ago
- Signet Orders examples in solidity☆13May 28, 2026Updated 5 months ago
- Optimization agent orchestrator powered by Anthropic Managed Agents.☆19Apr 9, 2026Updated 7 months ago
- ☆10Jan 31, 2024Updated 2 years ago
- macOS app giving each bot its own virtual display — mirrored live and driven by forwarded input☆21Aug 24, 2026Updated 2 months ago
- 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.
- The standard for an L2 block explorer API☆11Jul 19, 2023Updated 3 years ago
- Jupyter Kernel Protocol for rust☆14May 5, 2026Updated 6 months ago
- ☆12Oct 4, 2024Updated 2 years ago
- NextJS app for fluidpay, project developed @ETHGlobal London 2024.☆12Mar 17, 2024Updated 2 years ago
- A new coordination layer for communities to surface and prioritize shared goals.☆11Jul 24, 2026Updated 3 months ago
- ☆11Feb 14, 2026Updated 8 months ago
- QuickProof: from executable C properties to machine-checked proofs (export mirror)☆36Updated this week
- Drift is a version control system built from the ground up for the AI agent era. It replaces git's commit with an intent, uses a semanti…☆14Feb 11, 2026Updated 8 months ago
- golang implementation of probabilistic merkle search trees for IPLD☆12Nov 1, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- chomp☆67Nov 3, 2026Updated last week
- ☆39Jun 24, 2022Updated 4 years ago
- ☆13Oct 22, 2023Updated 3 years ago
- SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification.☆20Sep 20, 2026Updated last month
- Local-first crawlers for your digital life. One CLI, one Mac app, agent-searchable archives.☆26Updated this week
- Go library with all the services needed to request, sync and store blockchain headers.☆21Updated this week
- Challenge, Rethink, Ascend☆20Sep 26, 2026Updated last month
- ☆16Sep 10, 2024Updated 2 years ago
- ☆20Jul 7, 2025Updated last year
- 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.
- An awesome list of resources related to Prolly Trees☆14Nov 19, 2025Updated 11 months ago
- Session at a glance — always-visible recap panel for pi coding agent☆12May 12, 2026Updated 5 months ago
- A simple RISC-V runtime.☆35Sep 12, 2025Updated last year
- [ARCHIVED] Easily integrate rich ENS user journeys into your wallet, app, or game.☆20Jun 27, 2026Updated 4 months ago
- Search for tokens on many EVM chains by address☆22May 2, 2024Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆33Oct 30, 2026Updated last week
- ☆12Updated this week
- A base protocol providing streams of messages☆15Aug 22, 2025Updated last year
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A library for managing groups of lambdas.☆10Oct 8, 2026Updated last month
- an implementation of indexed merkle trees based on descriptions from the paper by tzialla et al https://eprint.iacr.org/2021/1263.pdf☆13Aug 3, 2024Updated 2 years ago
- CLI for the Attio CRM API. Built for scripts, agents, and humans who prefer terminals.☆18Feb 14, 2026Updated 8 months ago
- Tools to manage your farcaster signers☆22Aug 5, 2025Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated 2 years ago
- ☆11Aug 4, 2021Updated 5 years ago
- awesome-fhenix is a curated collection of resources for building with Fhenix and the CoFHE coprocessor☆16Feb 23, 2026Updated 8 months ago
Are these results useful?