LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof generation
☆19Dec 30, 2025Updated 4 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☆24Jan 1, 2026Updated 4 months ago
- High-performance Solana vanity address generator☆25Nov 26, 2025Updated 6 months ago
- crypto trading bot for Binance Futures in Python☆21Nov 8, 2025Updated 6 months ago
- Custom SOL vanity address generator☆43Nov 26, 2025Updated 6 months ago
- ☆160Dec 3, 2025Updated 5 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.
- High-performance TLS/DTLS/QUIC library in 100% safe Rust☆65Nov 19, 2025Updated 6 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆26Dec 5, 2025Updated 5 months ago
- Your entry point to the Waves blockchain and Waves-powered web services☆14Dec 3, 2025Updated 5 months ago
- Сайт для продажи подписок с интеграцией Remnawave + админка https://remna.st/☆113Feb 16, 2026Updated 3 months ago
- Custom ETH vanity address generator☆40Nov 26, 2025Updated 6 months ago
- 强大的 Canvas 画布编辑器 Web Component，零依赖，支持 Vue 2/3、React、Angular 和原生 HTML | A powerful canvas-based drawing editor Web Component - Zero depend…☆424Jan 16, 2026Updated 4 months ago
- Gausian - Rust-based local video editor for AI video production☆1,008Nov 19, 2025Updated 6 months ago
- AI dev that actually gets things done☆34Mar 10, 2026Updated 2 months ago
- Learn Azure infrastructure with this hands-on Terraform lab. Deploys a complete enterprise environment with hub-spoke networking, firewal…☆12Dec 29, 2025Updated 5 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆336Jan 23, 2026Updated 4 months ago
- High-performance Ethereum vanity address generator☆53Nov 26, 2025Updated 6 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
- LLM 비교 연구 기반 올인원 학습 허브 플랫폼 | GPT-4o · Gemini 2.0 Flash · Claude 4.5 Sonnet 의 정확도 분석을 토대로 학생들이 목적에 맞는 최적 모델을 선택하고 활용할 수 있도록 돕는 플랫폼을 제안합니다.☆92Dec 16, 2025Updated 5 months ago
- A Comprehensive Event Sourcing & CQRS Toolkit for Go☆33May 20, 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…☆172Dec 18, 2025Updated 5 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆42May 14, 2026Updated 2 weeks ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆47Jan 17, 2026Updated 4 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆44Jan 1, 2026Updated 4 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆296Nov 6, 2025Updated 6 months ago
- 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,951Nov 12, 2025Updated 6 months ago
- Awesome API Clients & Postman Alternatives (Open Source, Free, Pro)☆636Apr 19, 2025Updated last year
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆402Jan 5, 2026Updated 4 months ago
- SGLang is a high-performance serving framework for large language models and multimodal models.☆28,137May 23, 2026Updated last week
- a list of domains and ips that stay live in russia when the mobile internet gets restricted☆3,305May 17, 2026Updated last week
- Distributed map reduce framework for logical backup and restores for disaster recovery featuring concurrent-safe table operations.☆17Mar 6, 2023Updated 3 years ago
- Hydroxy is a cool looking dark theme for VSCode!☆14May 19, 2022Updated 4 years ago
- Streaming resource that removes for sale and for rent signs across the GTA 5 map☆27Jun 6, 2023Updated 2 years 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.
- Web service to run next to orthanc to handle sharing of studies☆46May 7, 2026Updated 3 weeks ago
- This is my DevOps learning plan for the year 2024☆505Dec 14, 2025Updated 5 months ago
- Hookers are cooler than patches.☆170Jan 21, 2022Updated 4 years ago
- [WIP] React Testing Library everywhere☆26Mar 30, 2026Updated last month
- Runs SIM-AKA Authentication on a jailbroken iPhone for VoLTE/VoWiFi/IMS research. Exposes a http interface compatible with fasferraz/USIM…☆20Jul 5, 2022Updated 3 years ago
- We introduce the Audio Logical Reasoning (ALR) dataset, consisting of 6,446 text-audio annotated samples specifically designed for comple…☆1,107Nov 26, 2025Updated 6 months ago
- ☆11Jan 9, 2024Updated 2 years ago