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 2 months ago
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 2 months ago
- A bytecode format for zero-knowledge proof generation☆57Jan 1, 2026Updated 2 months ago
- High-performance Solana vanity address generator☆32Nov 26, 2025Updated 3 months ago
- crypto trading bot for Binance Futures in Python☆21Nov 8, 2025Updated 4 months ago
- Generate Tableau Workbooks using AI☆35Feb 17, 2026Updated 2 weeks ago
- Custom SOL vanity address generator☆49Nov 26, 2025Updated 3 months ago
- Your entry point to the Waves blockchain and Waves-powered web services☆14Dec 3, 2025Updated 3 months ago
- 4D World Model for Autonomous Driving☆73Nov 29, 2025Updated 3 months ago
- High-performance cryptography library in 100% safe Rust☆81Dec 23, 2025Updated 2 months ago
- High-performance TLS/DTLS/QUIC library in 100% safe Rust☆70Nov 19, 2025Updated 3 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆30Dec 5, 2025Updated 3 months ago
- Retro Bowl is an American football game in retro style where your purpose is to coach your team and win a prize at the end of each season…☆11Feb 8, 2026Updated last month
- AI dev that actually gets things done☆38Dec 1, 2025Updated 3 months ago
- High-performance Ethereum vanity address generator☆58Nov 26, 2025Updated 3 months ago
- a lightweight tool to protect privacy/user data in Internet☆237Dec 28, 2025Updated 2 months ago
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆373Jan 23, 2026Updated last month
- LLM 비교 연구 기반 올인원 학습 허브 플랫폼 | GPT-4o · Gemini 2.0 Flash · Claude 4.5 Sonnet 의 정확도 분석을 토대로 학생들이 목적에 맞는 최적 모델을 선택하고 활용할 수 있도록 돕는 플랫폼을 제안합니다.☆97Dec 16, 2025Updated 2 months ago
- Blazing Fast LLM Inference in Go☆57Mar 3, 2026Updated last week
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆112Nov 26, 2025Updated 3 months ago
- A Comprehensive Event Sourcing & CQRS Toolkit for Go☆40Mar 2, 2026Updated last week
- JavaScript captcha solver for bypassing captchas in browser automation, extensions, and scraping scripts. JavaScript package for seamless…☆71Sep 23, 2025Updated 5 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆318Dec 18, 2025Updated 2 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆54Jan 1, 2026Updated 2 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆71Feb 12, 2026Updated 3 weeks ago
- polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot…☆193Feb 26, 2026Updated last week
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆151Nov 30, 2025Updated 3 months ago
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆331Nov 6, 2025Updated 4 months ago
- polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot…☆305Updated this week
- Long-term memory for your 24/7 OpenClaw agents across LLMs and platforms.☆2,397Updated this week
- Awesome API Clients & Postman Alternatives (Open Source, Free, Pro)☆688Apr 19, 2025Updated 10 months ago
- YumCut - free AI video generator to turn a prompt into ready vertical videos for TikTok, Reels and YouTube Shorts. Auto script, scenes, v…☆1,048Feb 27, 2026Updated last week
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆393Jan 5, 2026Updated 2 months ago
- Real-time blocklist of crypto phishing, scam, and drainer domains. Auto-updated threat intelligence for Web3 security.☆932Mar 3, 2026Updated last week
- ⚡ The Open Research Copilot. Build high-perf Portfolios, Lab Sites & Docs in Markdown + Jupyter. 100% Data Control. 🦫 数据科学家的开源 Copilot。一…☆9,928Mar 3, 2026Updated last week
- A collection of personalised linux config files☆24Oct 13, 2016Updated 9 years ago
- This is the repository for the CMU course 67-300: Search Engines☆11Nov 8, 2023Updated 2 years ago
- Renders html to pdf or pngs☆12Mar 2, 2026Updated last week
- ☆12Mar 24, 2025Updated 11 months ago
- Basic and Lean Issue Management Package for Laravel☆13Jan 12, 2026Updated last month