Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
☆13Nov 11, 2026Updated this week
Alternatives and similar repositories for arm-risc0
Users that are interested in arm-risc0 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 protocol adapter contract enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.☆36Updated this week
- The Juvix standard library☆27Sep 28, 2026Updated last month
- Anoma application examples☆16May 23, 2025Updated last year
- A common lisp DSL for writing zero knowledge circuits☆18Oct 19, 2022Updated 4 years ago
- The Namada Masp Indexer reference implementation.☆11Aug 4, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆15Jul 23, 2026Updated 3 months ago
- ☆13Aug 20, 2026Updated 2 months ago
- $TEA ERC-20 token☆12Nov 7, 2025Updated last year
- Compression library for Common Lisp☆16Oct 2, 2026Updated last month
- A Common Lisp library for decompressing deflate, zlib, gzip, and bzip2 data☆16Aug 21, 2026Updated 2 months ago
- Minimal session manager for tiling WM users — detach, attach, introspect terminals without tmux overhead☆11Dec 17, 2025Updated 10 months ago
- ☆94Sep 15, 2025Updated last year
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆19Jan 21, 2026Updated 9 months ago
- A Categorical View of Computation☆40Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Meta Repository for General MoneroKon Matters☆10Mar 31, 2026Updated 7 months ago
- ☆17Sep 16, 2025Updated last year
- ☆17Updated this week
- A Elixir implementation of the Zarr file format providing compressed, chunked, N-dimensional arrays, great for use in parallel computing.…☆19Oct 9, 2026Updated last month
- ☆17Sep 19, 2026Updated last month
- A compiled language that is halfway between C and Go/Swift/Rust☆13Jul 7, 2016Updated 10 years ago
- Gopher over IPFS!☆14May 31, 2020Updated 6 years ago
- Monad flavored Hardhat☆14Sep 1, 2026Updated 2 months ago
- Vulnerability Disclosure and Security Reporting☆20Nov 12, 2024Updated 2 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.
- A common data structures for Inter-Blockchain Communication (IBC) messages that can be reused by different implementations or tools☆15Apr 9, 2025Updated last year
- Early-stage research related to the Anoma protocols.☆37Oct 11, 2023Updated 3 years ago
- Limit Order Protocol Smart Contract☆12Mar 2, 2023Updated 3 years ago
- In this project, I build a shooter game using JavaScript's framework Phaser 3, a "fast, free and fun open-source framework for Canvas and…☆14Jul 7, 2023Updated 3 years ago
- Home of the Logos Execution Environment (LEE) and the first Logos Execution Zone (LEZ).☆24Updated this week
- This is the code for https://dotnetfoundation.org/member☆18Jun 11, 2024Updated 2 years ago
- Data aggregator for Cosmwasm☆18Nov 8, 2022Updated 4 years ago
- ☆15Feb 27, 2024Updated 2 years ago
- Tooling and test suites for managing MPP SDKs and other ecosystem primitives☆20Updated this week
- 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.
- RESTful HTTP endpoints to RxInfer☆12Feb 23, 2026Updated 8 months ago
- MCP server for interacting with Monad☆13Dec 16, 2025Updated 10 months ago
- Tycho Community Extensions☆16Mar 16, 2026Updated 7 months ago
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- Archimedes is a distribution layer for tokenized levered DeFi strategies on top of ⚙️ Gearbox Protocol☆16Aug 26, 2022Updated 4 years ago
- This plugin enhances Hashicorp Vault Service with cryptographic operations to create, import and sign using different type of keypairs an…☆19Jun 24, 2024Updated 2 years ago
- Optimism is Ethereum, scaled.☆26Mar 7, 2025Updated last year
Are these results useful?