STARK prover for ZK IR using Plonky3 with Baby Bear field
☆23Jan 1, 2026Updated 8 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☆50Jul 19, 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…☆18Dec 30, 2025Updated 8 months ago
- High-performance Solana vanity address generator☆24Nov 26, 2025Updated 10 months ago
- 4D World Model for Autonomous Driving☆62Nov 29, 2025Updated 9 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆50Sep 14, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Custom SOL vanity address generator☆41Nov 26, 2025Updated 10 months ago
- Gausian - Rust-based local video editor for AI video production☆1,008Jul 1, 2026Updated 2 months ago
- ☆156Dec 3, 2025Updated 9 months ago
- ☆22May 6, 2025Updated last year
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆159Dec 18, 2025Updated 9 months ago
- High-performance Ethereum vanity address generator☆52Nov 26, 2025Updated 10 months ago
- AfterCrypt Protocol SDK☆15Jan 23, 2026Updated 8 months ago
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆209Sep 12, 2026Updated 2 weeks ago
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆94Nov 26, 2025Updated 10 months ago
- 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.
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆103Feb 2, 2026Updated 7 months ago
- REST API platform for integrating systems with WhatsApp with stability, multiple instances, message sending, and event webhooking. Ideal …☆150Sep 12, 2026Updated 2 weeks ago
- a lightweight tool to protect privacy/user data in Internet☆172Dec 28, 2025Updated 8 months ago
- YumCut - free AI video generator to turn a prompt into ready vertical videos for TikTok, Reels and YouTube Shorts. Auto script, scenes, v…☆885Sep 3, 2026Updated 3 weeks ago
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆1,099Aug 16, 2026Updated last month
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆362Sep 13, 2026Updated 2 weeks ago
- Create your own memecoin with full step by step tutorials☆578Jan 26, 2025Updated last year
- SGLang is a high-performance serving framework for large language models and multimodal models.☆36,481Updated this week
- Pure-Rust astronomical ephemeris for astrology — Vedic, Western, Chinese, and 9 world traditions☆879Jul 2, 2026Updated 2 months 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.
- Management console for the Null ecosystem — install, configure, and monitor AI agents, orchestration workflows, task pipelines, and syste…☆1,834Jul 19, 2026Updated 2 months ago
- tutorial on how to create honeypot token☆567Jan 5, 2026Updated 8 months ago
- The fastest and the most accurate file search SDK for AI agents, Neovim, Rust, C, Python, Bun and NodeJS☆10,879Updated this week
- 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…☆37,983Updated this week
- 试题库管理系统_基于SSM框架开发的Java Web MIS系统☆16Jun 16, 2019Updated 7 years ago
- WorkBuddy 国际国内多账号反代网关，支持 Codex / Claude Code / DSH与标准 OpenAI 客户端。☆371Updated this week
- ☆15Jun 2, 2025Updated last year
- Decompile of the 2005 mobile port of Sonic 1.☆36Feb 19, 2021Updated 5 years ago
- 视频号、小程序、抖音、快手、小红书、直播流、m3u8、酷狗、QQ音乐等常见网络资源下载!☆20,260Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Write application configuration files on deployment with Ruby☆15Nov 17, 2009Updated 16 years ago
- C64 Composite/S-Video RF Modulator Replacement☆86Apr 10, 2021Updated 5 years ago
- Queue-Based State Machine - A lightweight workflow execution engine with DAG-based stage orchestration. Unlike simple task queues (like …☆86Updated this week
- A complete scene routing library for react native☆148Apr 17, 2017Updated 9 years ago
- The contract source code and ABIs of TTSwap☆10Mar 23, 2021Updated 5 years ago
- This repository contains all the files and tools needed to build custom oscillators and effects for the prologue synthesizer.☆1,046Sep 14, 2026Updated 2 weeks ago
- Delphi components, project, sample Applications☆14Apr 15, 2019Updated 7 years ago