☆14Jul 30, 2021Updated 4 years ago
Alternatives and similar repositories for Computer-Arithmetic
Users that are interested in Computer-Arithmetic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆54Jun 7, 2025Updated 9 months ago
- 😵💫 A Recurrent Neural Network (RNN) hallucinating solidity source code.☆42Nov 12, 2021Updated 4 years ago
- Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀☆29Mar 7, 2024Updated 2 years ago
- Curated collection of design patterns targeting the Solidity language☆51Jan 25, 2022Updated 4 years ago
- A EVM block proving backend in Cairo☆88Mar 23, 2026Updated last week
- 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.
- Rust implementation of the Alpen protocol☆95Updated this week
- A domain-specific language for writing AIR constraints for STARKs☆96Updated this week
- Compiler from Rust to Miden Assembly☆105Updated this week
- Core components of the Miden protocol☆112Updated this week
- A SNARK using towers of binary fields, implemented in Rust .☆133Sep 9, 2025Updated 6 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170May 15, 2025Updated 10 months ago
- ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK☆176Mar 3, 2025Updated last year
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆273Updated this week
- A performant and modular zkVM framework built for customization and extensibility.☆325Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆268Sep 16, 2024Updated last year
- A STARK-based VM focused on code reuse, performance, and modularity☆342Jul 31, 2025Updated 7 months ago
- ☆351Aug 1, 2025Updated 7 months ago
- A Rust library for polynomial commitments☆424Dec 2, 2024Updated last year
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆439Mar 10, 2026Updated 2 weeks ago
- ☆481Updated this week
- A Trust-minimized Bitcoin Bridge☆504Jan 26, 2026Updated 2 months ago
- A blazing fast OP Stack rollup client written in Rust☆646Aug 16, 2024Updated last year
- STARK-based virtual machine☆732Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆857Jul 1, 2025Updated 8 months ago
- The Halo2 zero-knowledge proving system☆897Mar 9, 2026Updated 2 weeks ago
- File uploader built with shadcn/ui and Radix UI.☆1,416Dec 14, 2025Updated 3 months ago
- Sync and Async ODM (Object Document Mapper) for MongoDB based on python type hints☆1,168Mar 1, 2026Updated 3 weeks ago
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆1,007Jan 9, 2025Updated last year
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,608Mar 23, 2026Updated last week
- An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Co…☆18,703Mar 6, 2026Updated 3 weeks ago
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆2,102Mar 20, 2026Updated last week
- A fast, secure, and portable multichain light client for Ethereum☆2,130Feb 27, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- zkSNARK implementation in JavaScript & WASM☆2,013Feb 10, 2026Updated last month
- 🕳 bore is a simple CLI tool for making tunnels to localhost☆10,956Feb 4, 2026Updated last month
- Graph Node indexes data from blockchains such as Ethereum and serves it over GraphQL☆3,122Updated this week
- Motor - the async Python driver for MongoDB and Tornado or asyncio☆2,524Mar 9, 2026Updated 2 weeks ago
- Static Type Checker for Python☆15,340Updated this week
- Low-code backend platform. Manage database on spreadsheet-like UI and build cloud functions workflows in JS/TS, all in your browser.☆6,800Nov 23, 2024Updated last year
- 🌐 The Internet Computer! Free, Open-Source, and Self-Hostable.☆40,049Updated this week