STARK prover for ZK IR using Plonky3 with Baby Bear field
☆28Jan 1, 2026Updated 2 months ago
Alternatives and similar repositories for zkir-prover
Users that are interested in zkir-prover are comparing it to the libraries listed below
Sorting:
- Generate Tableau Workbooks using AI☆35Feb 17, 2026Updated 2 weeks ago
- High-performance Solana vanity address generator☆32Nov 26, 2025Updated 3 months ago
- crypto trading bot for Binance Futures in Python☆21Nov 8, 2025Updated 4 months ago
- Custom SOL vanity address generator☆49Nov 26, 2025Updated 3 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆74Jan 17, 2026Updated last month
- Turbokit is a batteries-included tool for quickly scaffolding Rails APIs with good defaults.☆28Sep 24, 2025Updated 5 months ago
- ☆174Dec 3, 2025Updated 3 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆30Dec 5, 2025Updated 3 months ago
- ☆23May 6, 2025Updated 10 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆318Dec 18, 2025Updated 2 months ago
- Gausian - Rust-based local video editor for AI video production☆1,055Nov 19, 2025Updated 3 months ago
- High-performance Ethereum vanity address generator☆58Nov 26, 2025Updated 3 months ago
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆123Jan 4, 2026Updated 2 months ago
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆112Nov 26, 2025Updated 3 months ago
- AfterCrypt Protocol SDK☆32Jan 23, 2026Updated last month
- OpenClaw for genspark.ai — open-source extension that claws through every paywall and rate limit. Install in one command, run forever fre…☆58Updated this week
- High-performance cryptography library in 100% safe Rust☆81Dec 23, 2025Updated 2 months ago
- Revolt is an Edgenuity Script That does your work for you! Revolt is #1 source for Edgenuity answers . Get 100% Scores on all activities …☆414Dec 18, 2025Updated 2 months ago
- ☆294Updated this week
- ☆120Updated this week
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆151Nov 30, 2025Updated 3 months ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆129Feb 2, 2026Updated last month
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆373Jan 23, 2026Updated last month
- Create your own memecoin with full step by step tutorials☆553Jan 26, 2025Updated last year
- Real-time blocklist of crypto phishing, scam, and drainer domains. Auto-updated threat intelligence for Web3 security.☆932Mar 3, 2026Updated last week
- Database migrations. CLI and Golang library.☆18,192Mar 1, 2026Updated last week
- An attempt at writing C libraries in Rust that can be called from Idris☆22Nov 12, 2015Updated 10 years ago
- Memory, planning, task execution, and project intelligence for Claude Code, Codex and Gemini☆58Mar 2, 2026Updated last week
- Visualize existence of EOL at EOF ⏎☆10Mar 14, 2021Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Jun 17, 2015Updated 10 years ago
- TypeScript library for working with Palm OS PDB and PRC files☆12Oct 27, 2025Updated 4 months ago
- Source code related to the paper "Passive Channel Charting: Locating Passive Targets using Wi-Fi Channel State Information"☆28Jul 5, 2025Updated 8 months ago
- Self-localisation of an ESP8266 using the Google Maps API☆24Oct 20, 2017Updated 8 years ago
- A port of the fangame Sonic SMS Remake for the PSVita.☆17Dec 1, 2022Updated 3 years ago
- ☆147Aug 20, 2025Updated 6 months ago
- ☆39Jul 11, 2022Updated 3 years ago
- R package for Byte Pair Encoding based on YouTokenToMe☆16Sep 5, 2025Updated 6 months ago
- Flexible and user-friendly toolkit for the bias correction of climate models and associated evaluation.☆73Oct 23, 2025Updated 4 months ago
- Taskwarrior git sync hooks☆13Apr 10, 2017Updated 8 years ago