☆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:
- ☆16Jul 10, 2025Updated 10 months ago
- ☆54Jun 7, 2025Updated 11 months ago
- 😵💫 A Recurrent Neural Network (RNN) hallucinating solidity source code.☆42Nov 12, 2021Updated 4 years ago
- RISC-V ELF interpreter in cairo☆37Oct 18, 2024Updated last year
- Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀☆29Mar 7, 2024Updated 2 years 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.
- Curated collection of design patterns targeting the Solidity language☆51Jan 25, 2022Updated 4 years ago
- Rust implementation of the Alpen protocol☆101Updated this week
- A domain-specific language for writing AIR constraints for STARKs☆96Apr 16, 2026Updated last month
- Compiler from Rust to Miden Assembly☆110Updated this week
- Core components of the Miden protocol☆120Updated this week
- A SNARK using towers of binary fields, implemented in Rust .☆135Sep 9, 2025Updated 8 months ago
- A gas optimized, 100% on-chain chess engine and art project where each move is minted as an NFT☆164Feb 18, 2022Updated 4 years ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170May 15, 2025Updated last year
- Rust Uint crate using const-generics☆217May 11, 2026Updated last 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.
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆278May 13, 2026Updated last week
- A performant and modular zkVM framework built for customization and extensibility.☆349May 14, 2026Updated last week
- ☆268Sep 16, 2024Updated last year
- A STARK-based VM focused on code reuse, performance, and modularity☆343Apr 27, 2026Updated 3 weeks ago
- Boojum, the scariest SNARK implementation.☆303Aug 15, 2024Updated last year
- A Rust library for polynomial commitments☆431Apr 26, 2026Updated 3 weeks ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆447May 13, 2026Updated last week
- A Trust-minimized Bitcoin Bridge☆507Jan 26, 2026Updated 3 months ago
- Modular stack to build Starknet based scaling engines written in Rust☆526Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A STARK prover and verifier for arbitrary computations☆890Jul 19, 2025Updated 10 months ago
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆991Updated this week
- ☆855Jul 1, 2025Updated 10 months ago
- Rewrites source to reorder python imports☆781May 12, 2026Updated last week
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,670Updated this week
- Asyncio cache manager for redis, memcached and memory☆1,430Feb 1, 2026Updated 3 months ago
- pytorch implementation of openpose including Hand and Body Pose Estimation.☆2,311Jul 9, 2024Updated last year
- A fast, secure, and portable multichain light client for Ethereum☆2,159Apr 27, 2026Updated 3 weeks ago
- zkSNARK implementation in JavaScript & WASM☆2,025Apr 13, 2026Updated last month
- 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.
- Simple tagging for django☆3,433Updated this week
- Graph Node indexes data from blockchains such as Ethereum and serves it over GraphQL☆3,128Updated this week
- Motor - the async Python driver for MongoDB and Tornado or asyncio☆2,526May 11, 2026Updated last week
- Static Type Checker for Python☆15,432May 12, 2026Updated last week
- The Learning Interpretability Tool: Interactively analyze ML models to understand their behavior in an extensible and framework agnostic …☆3,652Apr 15, 2026Updated last month
- Apache Kafka® running on Kubernetes☆5,811Updated this week
- 🌐 The Internet Computer! Free, Open-Source, and Self-Hostable.☆41,415Updated this week