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 9 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 9 months ago
- Generate Tableau Workbooks using AI☆31Feb 17, 2026Updated 8 months ago
- Custom SOL vanity address generator☆41Nov 26, 2025Updated 10 months ago
- Сайт для продажи подписок с интеграцией Remnawave + админка https://remna.st/☆113Feb 16, 2026Updated 8 months ago
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆1,103Aug 16, 2026Updated 2 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.
- 4D World Model for Autonomous Driving☆62Nov 29, 2025Updated 10 months ago
- High-performance cryptography library in 100% safe Rust☆65Dec 23, 2025Updated 9 months ago
- Custom ETH vanity address generator☆39Nov 26, 2025Updated 10 months ago
- Your entry point to the Waves blockchain and Waves-powered web services☆13Dec 3, 2025Updated 10 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆159Dec 18, 2025Updated 10 months ago
- ☆27Jan 24, 2026Updated 8 months ago
- AI dev that actually gets things done☆30Jul 23, 2026Updated 2 months ago
- High-performance Ethereum vanity address generator☆52Nov 26, 2025Updated 10 months ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆103Feb 2, 2026Updated 8 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.
- 强大的 Canvas 画布编辑器 Web Component，零依赖，支持 Vue 2/3、React、Angular 和原生 HTML | A powerful canvas-based drawing editor Web Component - Zero depend…☆419Jan 16, 2026Updated 9 months ago
- a lightweight tool to protect privacy/user data in Internet☆172Dec 28, 2025Updated 9 months ago
- Go bindings for llama.cpp: run GGUF LLMs in-process via cgo. Maintained fork of go-skynet/go-llama.cpp; real-model CI.☆49Oct 11, 2026Updated last week
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆50Sep 14, 2026Updated last month
- LLM 비교 연구 기반 올인원 학습 허브 플랫폼 | GPT-4o · Gemini 2.0 Flash · Claude 4.5 Sonnet 의 정확도 분석을 토대로 학생들이 목적에 맞는 최적 모델을 선택하고 활용할 수 있도록 돕는 플랫폼을 제안합니다.☆93Dec 16, 2025Updated 10 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆37Jan 1, 2026Updated 9 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
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆38May 14, 2026Updated 5 months ago
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆325Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- REST API platform for integrating systems with WhatsApp with stability, multiple instances, message sending, and event webhooking. Ideal …☆143Sep 12, 2026Updated last month
- A QA testing framework for your coding agent.☆182Mar 13, 2026Updated 7 months ago
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆411Sep 24, 2026Updated 3 weeks ago
- Rename browser tabs locally and bring order to chaotic sessions.☆163Jun 2, 2026Updated 4 months ago
- VectorRAG.Net is a .NET-native high-performance vector database library for semantic search and RAG (Retrieval-Augmented Generation). Cor…☆163Aug 23, 2026Updated last month
- 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,962Nov 12, 2025Updated 11 months ago
- Learn Azure infrastructure with this hands-on Terraform lab. Deploys a complete enterprise environment with hub-spoke networking, firewal…☆238Aug 24, 2026Updated last month
- Awesome API Clients & Postman Alternatives (Open Source, Free, Pro)☆618Jun 8, 2026Updated 4 months ago
- SGLang is a high-performance serving framework for large language models and multimodal models.☆37,247Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 👩💻 Revolt is the #1 Edgenuity hack / Edgenuity script That does ALL your work FOR YOU Automatically Completes Edgenuity assignments, E…☆422May 16, 2026Updated 5 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…☆893Sep 3, 2026Updated last month
- Markdown filesystem for agents and teams.☆720Updated this week
- Scroll-scrubbed 'fly through the world' burger demo, generated with Kubeez. Live: meepcastana.github.io/kubeez-scroll-world-video☆512Jul 14, 2026Updated 3 months ago
- Claude Code, rewritten from scratch in Go. Zero Node.js. Zero Electron. One binary.☆802Apr 9, 2026Updated 6 months ago
- Pure-Rust astronomical ephemeris for astrology — Vedic, Western, Chinese, and 9 world traditions☆881Jul 2, 2026Updated 3 months ago
- Real-time phishing & scam domain blocklist - 205k+ curated threats, 1M+ community, free API, multiple formats☆2,111Updated this week