STARK prover for ZK IR using Plonky3 with Baby Bear field
☆24Jan 1, 2026Updated 4 months ago
Alternatives and similar repositories for zkir-prover
Users that are interested in zkir-prover 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 bytecode format for zero-knowledge proof generation☆53Jan 1, 2026Updated 4 months ago
- Generate Tableau Workbooks using AI☆31Feb 17, 2026Updated 2 months ago
- LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof…☆19Dec 30, 2025Updated 4 months ago
- High-performance Solana vanity address generator☆25Nov 26, 2025Updated 5 months ago
- 4D World Model for Autonomous Driving☆64Nov 29, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A lightweight Waybar custom module that displays Claude Code usage metrics☆19Nov 15, 2025Updated 5 months ago
- crypto trading bot for Binance Futures in Python☆20Nov 8, 2025Updated 6 months ago
- StreamNook is a native Twitch desktop application for Windows. Watch streams without lag (or ads), farm drops automatically, and save RAM…☆22Updated this week
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆47Jan 17, 2026Updated 3 months ago
- Custom SOL vanity address generator☆43Nov 26, 2025Updated 5 months ago
- Blazing Fast LLM Inference in Go☆47May 2, 2026Updated last week
- Powerful Windows uninstaller to remove programs completely, delete leftover files, clean registry entries, and uninstall stubborn or brok…☆38Mar 21, 2026Updated last month
- Turbokit is a batteries-included tool for quickly scaffolding Rails APIs with good defaults.☆27Sep 24, 2025Updated 7 months ago
- ☆160Dec 3, 2025Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆22May 6, 2025Updated last year
- The new Windows Terminal and the original Windows console host, all in the same place!☆26Dec 5, 2025Updated 5 months ago
- Gausian - Rust-based local video editor for AI video production☆1,007Nov 19, 2025Updated 5 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆174Dec 18, 2025Updated 4 months ago
- High-performance Ethereum vanity address generator☆53Nov 26, 2025Updated 5 months ago
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆153Apr 21, 2026Updated 2 weeks ago
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆97Nov 26, 2025Updated 5 months ago
- AfterCrypt Protocol SDK☆15Jan 23, 2026Updated 3 months ago
- High-performance cryptography library in 100% safe Rust☆68Dec 23, 2025Updated 4 months 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.
- YumCut - free AI video generator to turn a prompt into ready vertical videos for TikTok, Reels and YouTube Shorts. Auto script, scenes, v…☆691Updated this week
- ☆70Mar 12, 2026Updated last month
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆790Updated this week
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆96Nov 30, 2025Updated 5 months ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆106Feb 2, 2026Updated 3 months ago
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆336Jan 23, 2026Updated 3 months ago
- a lightweight tool to protect privacy/user data in Internet☆186Dec 28, 2025Updated 4 months ago
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆331Updated this week
- Rapida is an open-source, end-to-end voice AI orchestration platform for building real-time conversational voice agents with audio stream…☆611Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Create your own memecoin with full step by step tutorials☆528Jan 26, 2025Updated last year
- Real-time phishing & scam domain blocklist — 130k+ curated threats, 888K+ community, free API, multiple formats☆994Updated this week
- SGLang is a high-performance serving framework for large language models and multimodal models.☆27,516Updated this week
- tutorial on how to create honeypot token☆518Jan 5, 2026Updated 4 months ago
- The flexible backend for all your projects 🐰 Turn your DB into a headless CMS, admin panels, or apps with a custom UI, instant APIs, aut…☆35,376Updated this week