LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof generation
☆16Dec 30, 2025Updated 10 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:
- A bytecode format for zero-knowledge proof generation☆47Jul 19, 2026Updated 3 months ago
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆88Nov 26, 2025Updated 11 months ago
- Generate Tableau Workbooks using AI☆27Feb 17, 2026Updated 8 months ago
- High-performance Ethereum vanity address generator☆49Nov 26, 2025Updated 11 months ago
- Custom SOL vanity address generator☆40Nov 26, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- DOI: https://doi.org/10.24294/fsj.v6i2.2931☆30Feb 26, 2026Updated 8 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆156Dec 18, 2025Updated 10 months ago
- Gausian - Rust-based local video editor for AI video production☆943Jul 1, 2026Updated 4 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆36May 14, 2026Updated 5 months ago
- 4D World Model for Autonomous Driving☆58Nov 29, 2025Updated 11 months ago
- High-performance TLS/DTLS/QUIC library in 100% safe Rust☆70Nov 19, 2025Updated 11 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 22, 2026Updated 2 weeks ago
- ☆128Dec 3, 2025Updated 11 months ago
- a lightweight tool to protect privacy/user data in Internet☆169Dec 28, 2025Updated 10 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.
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆1,099Updated this week
- REST API platform for integrating systems with WhatsApp with stability, multiple instances, message sending, and event webhooking. Ideal …☆131Oct 15, 2026Updated 3 weeks ago
- Сайт для продажи подписок с интеграцией Remnawave + админка https://remna.st/☆112Feb 16, 2026Updated 8 months ago
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆292Jul 9, 2026Updated 3 months ago
- A QA testing framework for your coding agent.☆182Mar 13, 2026Updated 7 months ago
- A high-performance, enterprise-grade Next.js 16 application for mission-focused non-profit organizations. Built for high impact teams.☆373Oct 30, 2026Updated last week
- AZMX AI — The sovereign agent platform.☆130Jun 22, 2026Updated 4 months ago
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆399Sep 24, 2026Updated last month
- Rename browser tabs locally and bring order to chaotic sessions.☆163Jun 2, 2026Updated 5 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- VectorRAG.Net is a .NET-native high-performance vector database library for semantic search and RAG (Retrieval-Augmented Generation). Cor…☆164Aug 23, 2026Updated 2 months ago
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆285Oct 28, 2026Updated last week
- Management console for the Null ecosystem — install, configure, and monitor AI agents, orchestration workflows, task pipelines, and syste…☆1,782Oct 4, 2026Updated last month
- Dulus Ai — Agentic AI, 100% cache hit rate, Dulus is made to save you money [Gui, Web, Cli, Telegram, 2,000 MCP, 100K Skills . LiteLLM (1…☆509Updated this week
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆575Jan 5, 2026Updated 10 months ago
- 👩💻 Revolt is the #1 Edgenuity hack / Edgenuity script That does ALL your work FOR YOU Automatically Completes Edgenuity assignments, E…☆421May 16, 2026Updated 5 months ago
- 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,967Nov 12, 2025Updated 11 months ago
- Portable AI agent orchestration with mechanical protocol enforcement. 186 agents, zero runtime dependencies.☆2,244Jun 9, 2026Updated 4 months ago
- 100+ installable Claude skills covering Engineering areas such as, ISO 26262 functional safety, ISO/SAE 21434 cybersecurity, ISO 21448 SO…☆3,337Oct 16, 2026Updated 3 weeks 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.
- System of record for how agents build software: Built-in rust harness & 20+ CLIs.☆2,598Updated this week
- Autonomous AI dev-team bot☆501Oct 26, 2026Updated last week
- Scroll-scrubbed 'fly through the world' burger demo, generated with Kubeez. Live: meepcastana.github.io/kubeez-scroll-world-video☆511Jul 14, 2026Updated 3 months ago
- Create your own memecoin with full step by step tutorials☆651Jan 26, 2025Updated last year
- V- Modal AI: Visual Video / Image Search - Flutter Video SDK☆2,181Oct 3, 2026Updated last month
- Claude Code, rewritten from scratch in Go. Zero Node.js. Zero Electron. One binary.☆800Apr 9, 2026Updated 6 months ago
- Markdown filesystem for agents and teams.☆878Updated this week