LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof generation
☆21Dec 30, 2025Updated 3 months ago
Alternatives and similar repositories for zkir-llvm
Users that are interested in zkir-llvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- STARK prover for ZK IR using Plonky3 with Baby Bear field☆26Jan 1, 2026Updated 2 months ago
- crypto trading bot for Binance Futures in Python☆20Nov 8, 2025Updated 4 months ago
- High-performance Solana vanity address generator☆29Nov 26, 2025Updated 4 months ago
- Generate Tableau Workbooks using AI☆34Feb 17, 2026Updated last month
- Custom SOL vanity address generator☆44Nov 26, 2025Updated 4 months ago
- 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.
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆822Updated this week
- ☆164Dec 3, 2025Updated 3 months ago
- High-performance TLS/DTLS/QUIC library in 100% safe Rust☆67Nov 19, 2025Updated 4 months ago
- 4D World Model for Autonomous Driving☆66Nov 29, 2025Updated 4 months ago
- Your entry point to the Waves blockchain and Waves-powered web services☆14Dec 3, 2025Updated 3 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆29Dec 5, 2025Updated 3 months ago
- High-performance cryptography library in 100% safe Rust☆78Dec 23, 2025Updated 3 months ago
- AI dev that actually gets things done☆37Mar 10, 2026Updated 2 weeks ago
- Learn Azure infrastructure with this hands-on Terraform lab. Deploys a complete enterprise environment with hub-spoke networking, firewal…☆11Dec 29, 2025Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆355Jan 23, 2026Updated 2 months ago
- Retro Bowl is an American football game in retro style where your purpose is to coach your team and win a prize at the end of each season…☆10Feb 8, 2026Updated last month
- High-performance Ethereum vanity address generator☆54Nov 26, 2025Updated 4 months ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆112Feb 2, 2026Updated last month
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆103Nov 26, 2025Updated 4 months ago
- LLM 비교 연구 기반 올인원 학습 허브 플랫폼 | GPT-4o · Gemini 2.0 Flash · Claude 4.5 Sonnet 의 정확도 분석을 토대로 학생들이 목적에 맞는 최적 모델을 선택하고 활용할 수 있도록 돕는 플랫폼을 제안합니다.☆92Dec 16, 2025Updated 3 months ago
- A Comprehensive Event Sourcing & CQRS Toolkit for Go☆34Mar 21, 2026Updated last week
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆313Dec 18, 2025Updated 3 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆67Feb 12, 2026Updated last month
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- JavaScript captcha solver for bypassing captchas in browser automation, extensions, and scraping scripts. JavaScript package for seamless…☆68Sep 23, 2025Updated 6 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆50Jan 1, 2026Updated 2 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆67Jan 17, 2026Updated 2 months ago
- Transform your Boosteroid cloud gaming experience with smart resolution scaling, advanced video enhancement, and ultra-low latency optimi…☆58Jan 21, 2026Updated 2 months ago
- polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot…☆64Feb 26, 2026Updated last month
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆313Nov 6, 2025Updated 4 months ago
- A memory OS that makes your OpenClaw agents more personal while saving tokens.☆3,242Updated this week
- MacOS Niri and Hyprland inspired tiling window manager that's developer signed and notorized (safe for managed enterprise environments). …☆1,173Updated this week
- Графический интерфейс для zapret(запрет), разблокирует YouTube, Discord и другие заблокированные сайты☆388Mar 6, 2026Updated 3 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.
- Real-time phishing & scam domain blocklist — 99,000+ curated threats, 828K+ community, free API, multiple formats☆908Mar 23, 2026Updated last week
- SGLang is a high-performance serving framework for large language models and multimodal models.☆25,041Updated this week
- Create your own memecoin with full step by step tutorials☆502Jan 26, 2025Updated last year
- Handling binary formats in all shapes and forms☆136Oct 31, 2021Updated 4 years ago
- rec-all: A Time Machine for the Everyday☆17Dec 5, 2024Updated last year
- Loader for GameBoy Advance ROM files☆72Feb 9, 2026Updated last month
- Sangria akka-streams integration☆11Feb 8, 2026Updated last month