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 3 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 3 months ago
- High-performance Solana vanity address generator☆26Nov 26, 2025Updated 4 months ago
- Generate Tableau Workbooks using AI☆32Feb 17, 2026Updated 2 months ago
- ☆162Dec 3, 2025Updated 4 months ago
- High-performance TLS/DTLS/QUIC library in 100% safe Rust☆66Nov 19, 2025Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Your entry point to the Waves blockchain and Waves-powered web services☆14Dec 3, 2025Updated 4 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆26Dec 5, 2025Updated 4 months ago
- High-performance cryptography library in 100% safe Rust☆69Dec 23, 2025Updated 3 months ago
- Custom ETH vanity address generator☆40Nov 26, 2025Updated 4 months ago
- 强大的 Canvas 画布编辑器 Web Component，零依赖，支持 Vue 2/3、React、Angular 和原生 HTML | A powerful canvas-based drawing editor Web Component - Zero depend…☆481Jan 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,009Nov 19, 2025Updated 5 months ago
- High-performance Ethereum vanity address generator☆53Nov 26, 2025Updated 4 months ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆106Feb 2, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- LLM 비교 연구 기반 올인원 학습 허브 플랫폼 | GPT-4o · Gemini 2.0 Flash · Claude 4.5 Sonnet 의 정확도 분석을 토대로 학생들이 목적에 맞는 최적 모델을 선택하고 활용할 수 있도록 돕는 플랫폼을 제안합니다.☆93Dec 16, 2025Updated 4 months ago
- ☆31Jan 24, 2026Updated 2 months ago
- A Comprehensive Event Sourcing & CQRS Toolkit for Go☆32Apr 4, 2026Updated 2 weeks ago
- Blazing Fast LLM Inference in Go☆47Updated this week
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆178Dec 18, 2025Updated 4 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆41Feb 12, 2026Updated 2 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆49Jan 17, 2026Updated 3 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆46Jan 1, 2026Updated 3 months ago
- A Multi-Tenant Odoo App. How to configure multiple databases on individual domain names using a single Odoo instance?☆57May 29, 2025Updated 10 months 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.
- Transform your Boosteroid cloud gaming experience with smart resolution scaling, advanced video enhancement, and ultra-low latency optimi…☆57Jan 21, 2026Updated 2 months ago
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆303Nov 6, 2025Updated 5 months ago
- Build, evaluate, and integrate long-term memory for self-evolving agents.☆4,063Updated this week
- MacOS Niri and Hyprland inspired tiling window manager that's developer signed and notorized (safe for managed enterprise environments). …☆1,403Apr 12, 2026Updated last week
- Awesome API Clients & Postman Alternatives (Open Source, Free, Pro)☆638Apr 19, 2025Updated last year
- YumCut - free AI video generator to turn a prompt into ready vertical videos for TikTok, Reels and YouTube Shorts. Auto script, scenes, v…☆672Mar 31, 2026Updated 2 weeks ago
- 🌐 Web proxy project written in Typescript & Vue.js. Node.js alternative for php-proxy.☆126Apr 4, 2024Updated 2 years ago
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆367Jan 5, 2026Updated 3 months ago
- Real-time phishing & scam domain blocklist — 110k+ curated threats, 828K+ community, free API, multiple formats☆965Updated this week
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- USED BY IP STRESSER & IP BOOTER TOOLS, TCP DOMINATE FLOOD UPDATED IN 2025 BY AI SAME ONE USED IN https://top10booters.co☆244Jan 15, 2025Updated last year
- P.E.R.A. Water Data Collection System☆266Dec 9, 2024Updated last year
- Create your own memecoin with full step by step tutorials☆506Jan 26, 2025Updated last year
- tutorial on how to create honeypot token☆498Jan 5, 2026Updated 3 months ago
- ⚡ The Open Research Copilot. Build high-perf Portfolios, Lab Sites & Docs in Markdown + Jupyter. 100% Data Control. 🦫 数据科学家的开源 Copilot。一…☆9,407Updated this week
- A simple implementation of Transformer Encoder in keras. This repository also includes an example of Transformer as a classifier and its …☆16Apr 9, 2019Updated 7 years ago
- A curated Rails application prototype that focuses on simple test patterns for Ruby & JavaScript!☆141Oct 19, 2022Updated 3 years ago