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 5 months ago
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆790Updated this week
- ☆160Dec 3, 2025Updated 5 months ago
- 4D World Model for Autonomous Driving☆64Nov 29, 2025Updated 5 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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/☆111Feb 16, 2026Updated 2 months ago
- Custom ETH vanity address generator☆40Nov 26, 2025Updated 5 months ago
- 强大的 Canvas 画布编辑器 Web Component，零依赖，支持 Vue 2/3、React、Angular 和原生 HTML | A powerful canvas-based drawing editor Web Component - Zero depend…☆428Jan 16, 2026Updated 3 months ago
- AI dev that actually gets things done☆34Mar 10, 2026Updated last month
- Gausian - Rust-based local video editor for AI video production☆1,007Nov 19, 2025Updated 5 months ago
- Learn Azure infrastructure with this hands-on Terraform lab. Deploys a complete enterprise environment with hub-spoke networking, firewal…☆11Dec 29, 2025Updated 4 months ago
- High-performance Ethereum vanity address generator☆53Nov 26, 2025Updated 5 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.
- a lightweight tool to protect privacy/user data in Internet☆186Dec 28, 2025Updated 4 months ago
- ☆31Jan 24, 2026Updated 3 months ago
- Blazing Fast LLM Inference in Go☆47May 2, 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…☆174Dec 18, 2025Updated 4 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆42Feb 12, 2026Updated 2 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆47Jan 17, 2026Updated 3 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆44Jan 1, 2026Updated 4 months ago
- Transform your Boosteroid cloud gaming experience with smart resolution scaling, advanced video enhancement, and ultra-low latency optimi…☆60Updated this week
- A Multi-Tenant Odoo App. How to configure multiple databases on individual domain names using a single Odoo instance?☆56May 29, 2025Updated 11 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.
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆96Nov 30, 2025Updated 5 months ago
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆298Nov 6, 2025Updated 6 months ago
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆331Updated this week
- 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,945Nov 12, 2025Updated 5 months ago
- Build, evaluate, and integrate long-term memory for self-evolving agents.☆4,455Updated this week
- YumCut - free AI video generator to turn a prompt into ready vertical videos for TikTok, Reels and YouTube Shorts. Auto script, scenes, v…☆691Updated this week
- 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☆394Jan 5, 2026Updated 4 months ago
- Create your own memecoin with full step by step tutorials☆528Jan 26, 2025Updated last year
- 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.
- 🧱 Describe your site, AI builds it, you own it as Markdown. Snap together Tailwind blocks like Lego — landing pages, blogs, portfolios, …☆9,399Updated this week
- Image format encoders/decoders with Web API integration and sync/streaming support.☆29Nov 29, 2025Updated 5 months ago
- PQ ("peak"), automatically wrap blocking functions in an async child process and turn blocking functions into non-blocking promises, buil…☆20Mar 4, 2022Updated 4 years ago
- Emacs minor-mode to summon and dismiss buffers easily.☆579Mar 2, 2026Updated 2 months ago
- ArchUnitTS is an architecture testing library. Specify and ensure architecture rules in your TypeScript app. Easy setup and pipeline inte…☆372Updated this week
- edited by noureddine ouafy based from zoromd :)☆14Jun 20, 2024Updated last year
- Jupyter notebooks☆113Sep 7, 2021Updated 4 years ago