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 6 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 6 months ago
- Generate Tableau Workbooks using AI☆31Feb 17, 2026Updated 5 months ago
- High-performance Solana vanity address generator☆24Nov 26, 2025Updated 8 months ago
- Gausian - Rust-based local video editor for AI video production☆1,004Jul 1, 2026Updated 3 weeks ago
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆95Nov 26, 2025Updated 8 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.
- Сайт для продажи подписок с интеграцией Remnawave + админка https://remna.st/☆115Feb 16, 2026Updated 5 months ago
- ☆155Dec 3, 2025Updated 7 months ago
- 4D World Model for Autonomous Driving☆63Nov 29, 2025Updated 8 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆26Dec 5, 2025Updated 7 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆163Dec 18, 2025Updated 7 months ago
- AI dev that actually gets things done☆32Updated this week
- High-performance Ethereum vanity address generator☆52Nov 26, 2025Updated 8 months ago
- 强大的 Canvas 画布编辑器 Web Component，零依赖，支持 Vue 2/3、React、Angular 和原生 HTML | A powerful canvas-based drawing editor Web Component - Zero depend…☆417Jan 16, 2026Updated 6 months ago
- An ML-powered framework for detecting and counteracting sycophantic spiraling in AI chatbots.☆65Apr 3, 2026Updated 3 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.
- A Comprehensive Event Sourcing & CQRS Toolkit for Go☆29Updated this week
- a lightweight tool to protect privacy/user data in Internet☆171Dec 28, 2025Updated 7 months ago
- Blazing Fast LLM Inference in Go☆46Updated this week
- JavaScript captcha solver for bypassing captchas in browser automation, extensions, and scraping scripts. JavaScript package for seamless…☆63Sep 23, 2025Updated 10 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆47Jan 17, 2026Updated 6 months ago
- LLM 비교 연구 기반 올인원 학습 허브 플랫폼 | GPT-4o · Gemini 2.0 Flash · Claude 4.5 Sonnet 의 정확도 분석을 토대로 학생들이 목적에 맞는 최적 모델을 선택하고 활용할 수 있도록 돕는 플랫폼을 제안합니다.☆92Dec 16, 2025Updated 7 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆37Jan 1, 2026Updated 6 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆39May 14, 2026Updated 2 months ago
- Transform your Boosteroid cloud gaming experience with smart resolution scaling, advanced video enhancement, and ultra-low latency optimi…☆70Jun 12, 2026Updated last month
- 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.
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆194Nov 30, 2025Updated 7 months ago
- A Multi-Tenant Odoo App. How to configure multiple databases on individual domain names using a single Odoo instance?☆54May 29, 2025Updated last year
- REST API platform for integrating systems with WhatsApp with stability, multiple instances, message sending, and event webhooking. Ideal …☆152Nov 26, 2025Updated 8 months ago
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆287Nov 6, 2025Updated 8 months ago
- AI cursor assistant for macOS, Windows, Linux. Hold a hotkey, ask a question about what's on your screen, get an instant answer. Vision-c…☆266Updated this week
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆347May 30, 2026Updated last month
- AZMX AI — The sovereign agent platform.☆140Jun 22, 2026Updated last month
- Rename browser tabs locally and bring order to chaotic sessions.☆169Jun 2, 2026Updated last month
- VectorRAG.Net is a .NET-native high-performance vector database library for semantic search and RAG (Retrieval-Augmented Generation). Cor…☆169Jun 3, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Kodezi Chronos is a debugging-first language model that achieves state-of-the-art results on SWE-bench Lite (80.33%) and 67% real-world f…☆4,927Nov 12, 2025Updated 8 months ago
- Learn Azure infrastructure with this hands-on Terraform lab. Deploys a complete enterprise environment with hub-spoke networking, firewal…☆263Jul 14, 2026Updated 2 weeks ago
- Awesome API Clients & Postman Alternatives (Open Source, Free, Pro)☆620Jun 8, 2026Updated last month
- 🌐 Web proxy project written in Typescript & Vue.js. Node.js alternative for php-proxy.☆124Apr 4, 2024Updated 2 years ago
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆413Jan 5, 2026Updated 6 months ago
- SGLang is a high-performance serving framework for large language models and multimodal models.☆30,854Updated this week
- Safety-first guardrails for AI-driven cloud and Kubernetes operations☆1,386Updated this week