Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
☆13Oct 21, 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 3 weeks ago
- A common lisp DSL for writing zero knowledge circuits☆18Oct 19, 2022Updated 4 years ago
- $TEA ERC-20 token☆12Nov 7, 2025Updated 11 months ago
- The Namada Masp Indexer reference implementation.☆11Aug 4, 2026Updated 2 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.
- ☆92Sep 15, 2025Updated last year
- Compression library for Common Lisp☆16Oct 2, 2026Updated 3 weeks ago
- 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
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 9 months ago
- A Categorical View of Computation☆39Oct 12, 2026Updated last week
- ☆17Sep 13, 2026Updated last month
- ☆17Sep 16, 2025Updated last year
- ☆17Sep 19, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Vulnerability Disclosure and Security Reporting☆20Nov 12, 2024Updated last year
- 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 last month
- Home of the Logos Execution Environment (LEE) and the first Logos Execution Zone (LEZ).☆23Updated this week
- 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
- A common data structures for Inter-Blockchain Communication (IBC) messages that can be reused by different implementations or tools☆15Apr 9, 2025Updated last year
- RESTful HTTP endpoints to RxInfer☆12Feb 23, 2026Updated 8 months ago
- This is the code for https://dotnetfoundation.org/member☆18Jun 11, 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.
- Data aggregator for Cosmwasm☆18Nov 8, 2022Updated 3 years ago
- addon for fast HD camera grabbing on OS X using CoreVieo and QTKit☆14Jan 29, 2013Updated 13 years ago
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- Anoma application examples☆16May 23, 2025Updated last year
- Optimism is Ethereum, scaled.☆26Mar 7, 2025Updated last year
- 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
- F1 pit strategy optimization challenge - Reverse-engineer the race simulation algorithm from 30,000 historical races. A language-agnostic…☆15Jan 27, 2026Updated 8 months ago
- ☆21Jul 15, 2025Updated last year
- A language for intent-centric and declarative decentralised applications☆508Nov 5, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A 3D game controller exploration website developed in threejs using Claude Opus 5☆40Aug 27, 2026Updated last month
- Cross-platform binary launcher with Cosmopolitan libc☆34Apr 12, 2025Updated last year
- Mapa da Saúde☆13Feb 2, 2017Updated 9 years ago
- ☆28Jan 19, 2026Updated 9 months ago
- ☆24Jul 30, 2025Updated last year
- An up-to-date Common Lisp bindings library to the most recent GLFW OpenGL context management library☆37May 17, 2026Updated 5 months ago
- Knowledge base and Python package for discrete and continuous Active Inference: generative models, expected free energy, POMDP simulation…☆22Oct 18, 2026Updated last week