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☆30Feb 17, 2026Updated 4 months ago
- High-performance Solana vanity address generator☆24Nov 26, 2025Updated 7 months ago
- ☆156Dec 3, 2025Updated 7 months ago
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆965Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 7 months ago
- Your entry point to the Waves blockchain and Waves-powered web services☆14Dec 3, 2025Updated 7 months ago
- High-performance cryptography library in 100% safe Rust☆66Dec 23, 2025Updated 6 months ago
- Сайт для продажи подписок с интеграцией Remnawave + админка https://remna.st/☆115Feb 16, 2026Updated 4 months ago
- Custom ETH vanity address generator☆40Nov 26, 2025Updated 7 months ago
- 强大的 Canvas 画布编辑器 Web Component，零依赖，支持 Vue 2/3、React、Angular 和原生 HTML | A powerful canvas-based drawing editor Web Component - Zero depend…☆418Jan 16, 2026Updated 5 months ago
- Gausian - Rust-based local video editor for AI video production☆1,000Jul 1, 2026Updated last week
- Learn Azure infrastructure with this hands-on Terraform lab. Deploys a complete enterprise environment with hub-spoke networking, firewal…☆424Jun 30, 2026Updated last week
- 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.
- High-performance Ethereum vanity address generator☆52Nov 26, 2025Updated 7 months ago
- a lightweight tool to protect privacy/user data in Internet☆172Dec 28, 2025Updated 6 months ago
- Blazing Fast LLM Inference in Go☆46Updated 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☆47Jan 17, 2026Updated 5 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆37Jan 1, 2026Updated 6 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
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆97Nov 30, 2025Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆287Nov 6, 2025Updated 8 months ago
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆337May 30, 2026Updated last month
- Awesome API Clients & Postman Alternatives (Open Source, Free, Pro)☆622Jun 8, 2026Updated last month
- One portable memory layer for every AI agent: local-first, Markdown-native, user-owned, and self-evolving across apps, tools, and workflo…☆10,130Updated this week
- MacOS Niri and Hyprland inspired tiling window manager that's developer signed and notorized (safe for managed enterprise environments). …☆2,095Updated this week
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆398Jan 5, 2026Updated 6 months ago
- Real-time phishing & scam domain blocklist — 170k+ curated threats, 888K+ community, free API, multiple formats☆1,165Updated this week
- tutorial on how to create honeypot token☆523Jan 5, 2026Updated 6 months ago
- ☆13May 23, 2025Updated last year
- 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.
- Open Source MMO Framework built with dotnet 6 and NativeAOT runtime.☆17Feb 14, 2023Updated 3 years ago
- A place to store community documentation, tips, tricks, etc for the Dirtywave M8.☆17Nov 6, 2022Updated 3 years ago
- This repository is for Node.js Course by Duomly, where we are teaching you how to create Node.js backend with Nest.js, Sequelize and Post…☆11May 14, 2021Updated 5 years ago
- [NAACL 2024] CoE-SQL: In-Context Learning for Multi-Turn Text-to-SQL with Chain-of-Editions☆13May 7, 2024Updated 2 years ago
- ☆284Jul 6, 2024Updated 2 years ago
- ☆14Jun 11, 2023Updated 3 years ago
- Neovim plugin for dimming the highlights of unused functions, variables, parameters, and more☆346Jan 9, 2025Updated last year