☆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 11 months ago
- ☆54Jun 7, 2025Updated last year
- 😵💫 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
- 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.
- ZKsync fork of the LLVM framework (EraVM).☆36Apr 8, 2026Updated 2 months ago
- Curated collection of design patterns targeting the Solidity language☆51Jan 25, 2022Updated 4 years ago
- Compiler from Rust to Miden Assembly☆110Jun 24, 2026Updated last week
- Core components of the Miden protocol☆126Jun 24, 2026Updated last week
- A SNARK using towers of binary fields, implemented in Rust .☆135Sep 9, 2025Updated 9 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 …☆169May 15, 2025Updated last year
- Rust Uint crate using const-generics☆220Jun 24, 2026Updated last week
- ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK☆176Mar 3, 2025Updated last year
- 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.☆283Updated this week
- A performant and modular zkVM framework built for customization and extensibility.☆361Updated this week
- ☆267Sep 16, 2024Updated last year
- A STARK-based VM focused on code reuse, performance, and modularity☆342Apr 27, 2026Updated 2 months ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆449Jun 19, 2026Updated last week
- A Trust-minimized Bitcoin Bridge☆511Jan 26, 2026Updated 5 months ago
- Modular stack to build Starknet based scaling engines written in Rust☆526Jun 21, 2026Updated last week
- A STARK prover and verifier for arbitrary computations☆892Jul 19, 2025Updated 11 months ago
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆1,004Updated 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.
- The Halo2 zero-knowledge proving system☆910Jun 24, 2026Updated last week
- ☆856Jul 1, 2025Updated last year
- File uploader built with shadcn/ui and Radix UI.☆1,423Dec 14, 2025Updated 6 months ago
- Sync and Async ODM (Object Document Mapper) for MongoDB based on python type hints☆1,173May 19, 2026Updated last month
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆1,003Jan 9, 2025Updated last year
- An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Co…☆18,692Jun 16, 2026Updated 2 weeks ago
- Asyncio cache manager for redis, memcached and memory☆1,435May 26, 2026Updated last month
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆2,159Jun 22, 2026Updated last week
- Simple tagging for django☆3,435May 25, 2026Updated last month
- 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.
- Graph Node indexes data from blockchains such as Ethereum and serves it over GraphQL☆3,142Updated this week
- A collection of design patterns/idioms in Python☆42,816Mar 13, 2026Updated 3 months ago
- Issue tracker and mirror of kubectl code☆3,300Jun 19, 2026Updated last week
- AI observability platform for production LLM and agent systems.☆4,334Updated this week
- FastAPI Tips by The FastAPI Expert!☆3,567Oct 11, 2025Updated 8 months ago
- ⚓ Solana Program Framework☆5,096Updated this week
- PyTorch native post-training library☆5,777Updated this week