seceq / zkir-llvmView external linksLinks
LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof generation
☆23Dec 30, 2025Updated last month
Alternatives and similar repositories for zkir-llvm
Users that are interested in zkir-llvm are comparing it to the libraries listed below
Sorting:
- STARK prover for ZK IR using Plonky3 with Baby Bear field☆28Jan 1, 2026Updated last month
- A bytecode format for zero-knowledge proof generation☆62Jan 1, 2026Updated last month
- High-performance Solana vanity address generator☆35Nov 26, 2025Updated 2 months ago
- crypto trading bot for Binance Futures in Python☆22Nov 8, 2025Updated 3 months ago
- Generate Tableau Workbooks using AI☆37Updated this week
- Custom SOL vanity address generator☆54Nov 26, 2025Updated 2 months ago
- 4D World Model for Autonomous Driving☆85Nov 29, 2025Updated 2 months ago
- ☆187Dec 3, 2025Updated 2 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆30Dec 5, 2025Updated 2 months ago
- High-performance cryptography library in 100% safe Rust☆87Dec 23, 2025Updated last month
- 强大的 Canvas 画布编辑器 Web Component，零依赖，支持 Vue 2/3、React、Angular 和原生 HTML | A powerful canvas-based drawing editor Web Component - Zero depend…☆528Jan 16, 2026Updated 3 weeks ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆154Feb 2, 2026Updated last week
- High-performance Ethereum vanity address generator☆67Nov 26, 2025Updated 2 months ago
- Kalshi open source trading bot to automate copy trading and arbitrage strategies on crypto prediction markets for free, with simple inter…☆164Feb 7, 2026Updated last week
- Polymarket Arbitrage Bot. Polymarket trading bot. Polymarket Arbitrage Bot. Polymarket trading bot. Polymarket Arbitrage Bot. Polymarket …☆74Jan 12, 2026Updated last month
- JavaScript captcha solver for bypassing captchas in browser automation, extensions, and scraping scripts. JavaScript package for seamless…☆76Sep 23, 2025Updated 4 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆325Dec 18, 2025Updated last month
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆69Jan 1, 2026Updated last month
- A Multi-Tenant Odoo App. How to configure multiple databases on individual domain names using a single Odoo instance?☆58May 29, 2025Updated 8 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆84Dec 10, 2025Updated 2 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆83Jan 17, 2026Updated 3 weeks ago
- Графический интерфейс для zapret, разблокирует YouTube, Discord и другие заблокированные сайты☆434Feb 5, 2026Updated last 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…☆5,293Nov 12, 2025Updated 3 months ago
- MacOS Niri and Hyprland inspired tiling window manager that's developer signed and notorized (safe for managed enterprise environments). …☆589Updated this week
- The native productivity layer macOS is missing.☆785Updated this week
- Real-time blocklist of crypto phishing, scam, and drainer domains. Auto-updated threat intelligence for Web3 security.☆1,004Updated this week
- SGLang is a high-performance serving framework for large language models and multimodal models.☆23,439Updated this week
- tutorial on how to create honeypot token☆543Jan 5, 2026Updated last month
- ⚡ The Open Research Copilot. Build high-perf Portfolios, Lab Sites & Docs in Markdown + Jupyter. 100% Data Control. 🦫 数据科学家的开源 Copilot。一…☆9,937Feb 8, 2026Updated last week
- cocot38mini is a compact column staggered keyboard with 38 keys and a 25mm-trackball.☆26Jun 29, 2025Updated 7 months ago
- ☆12Jul 26, 2021Updated 4 years ago
- A simple column store in golang☆36Jun 13, 2016Updated 9 years ago
- Golang Port Knocking for Linux + Windows☆18Feb 22, 2022Updated 3 years ago
- Mail stack for Ubuntu/Debian using Postfix + Dovecot + DSPAM☆40Aug 4, 2013Updated 12 years ago
- Reliably return location where command is called from in R.☆41Dec 22, 2022Updated 3 years ago
- TypeScript AST transformer to resolve type aliases into fully formed interfaces☆20Dec 9, 2022Updated 3 years ago
- 红队基础设施自动化部署工具☆852Jan 4, 2023Updated 3 years ago
- A simple Go wrapper for C-style strptime using time.Parse☆13Feb 26, 2014Updated 11 years ago
- Refinement type checking and inference tool for Rust☆16Feb 7, 2026Updated last week