LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof generation
☆18Dec 30, 2025Updated 5 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☆23Jan 1, 2026Updated 5 months ago
- Generate Tableau Workbooks using AI☆30Feb 17, 2026Updated 4 months ago
- High-performance Solana vanity address generator☆24Nov 26, 2025Updated 6 months ago
- ☆157Dec 3, 2025Updated 6 months ago
- 4D World Model for Autonomous Driving☆63Nov 29, 2025Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- High-performance TLS/DTLS/QUIC library in 100% safe Rust☆64Nov 19, 2025Updated 7 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆26Dec 5, 2025Updated 6 months ago
- Your entry point to the Waves blockchain and Waves-powered web services☆14Dec 3, 2025Updated 6 months ago
- Custom ETH vanity address generator☆40Nov 26, 2025Updated 6 months ago
- Gausian - Rust-based local video editor for AI video production☆996Nov 19, 2025Updated 7 months ago
- AI dev that actually gets things done☆32Mar 10, 2026Updated 3 months ago
- Learn Azure infrastructure with this hands-on Terraform lab. Deploys a complete enterprise environment with hub-spoke networking, firewal…☆11Updated this week
- High-performance Ethereum vanity address generator☆52Nov 26, 2025Updated 6 months ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆104Feb 2, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆28Jan 24, 2026Updated 4 months ago
- a lightweight tool to protect privacy/user data in Internet☆174Dec 28, 2025Updated 5 months ago
- LLM 비교 연구 기반 올인원 학습 허브 플랫폼 | GPT-4o · Gemini 2.0 Flash · Claude 4.5 Sonnet 의 정확도 분석을 토대로 학생들이 목적에 맞는 최적 모델을 선택하고 활용할 수 있도록 돕는 플랫폼을 제안합니다.☆92Dec 16, 2025Updated 6 months ago
- A Comprehensive Event Sourcing & CQRS Toolkit for Go☆29Updated this week
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆165Dec 18, 2025Updated 6 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆40May 14, 2026Updated last month
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆46Jan 17, 2026Updated 5 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆37Jan 1, 2026Updated 5 months ago
- Transform your Boosteroid cloud gaming experience with smart resolution scaling, advanced video enhancement, and ultra-low latency optimi…☆62Jun 12, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Multi-Tenant Odoo App. How to configure multiple databases on individual domain names using a single Odoo instance?☆54May 29, 2025Updated last year
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆96Nov 30, 2025Updated 6 months ago
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆287Nov 6, 2025Updated 7 months ago
- Self-evolving memory across Agent and platform. The one portable memory layer for every agent they use - Claude Code, Codex, OpenClaw, He…☆7,363Jun 10, 2026Updated last week
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆398Jan 5, 2026Updated 5 months ago
- SGLang is a high-performance serving framework for large language models and multimodal models.☆28,978Updated this week
- Real-time phishing & scam domain blocklist — 130k+ curated threats, 888K+ community, free API, multiple formats☆919Updated this week
- Create your own memecoin with full step by step tutorials☆503Jan 26, 2025Updated last year
- P.E.R.A. Water Data Collection System☆262Dec 9, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- tutorial on how to create honeypot token☆503Jan 5, 2026Updated 5 months ago
- 🧱 Describe your site, AI builds it, you own it as Markdown. Snap together Tailwind blocks like Lego — landing pages, blogs, portfolios, …☆9,523May 27, 2026Updated 3 weeks ago
- WWVB emulator using an ESP32☆10Apr 2, 2020Updated 6 years ago
- ☆51Oct 26, 2021Updated 4 years ago
- 🔒 Passwords inputs made easy in Filament PHP 🤫☆15Sep 26, 2025Updated 8 months ago
- ☆21Aug 16, 2022Updated 3 years ago
- All In One Tool For Instagram.☆14Nov 9, 2020Updated 5 years ago