A bytecode format for zero-knowledge proof generation
☆53Jan 1, 2026Updated 3 months ago
Alternatives and similar repositories for zkir
Users that are interested in zkir 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
- LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof…☆19Dec 30, 2025Updated 3 months ago
- Generate Tableau Workbooks using AI☆31Feb 17, 2026Updated 2 months ago
- Gausian - Rust-based local video editor for AI video production☆1,007Nov 19, 2025Updated 5 months ago
- The Cryspen HACL Distribution☆19Apr 20, 2025Updated last year
- 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.
- a lightweight tool to protect privacy/user data in Internet☆186Dec 28, 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
- Windows V4 printer driver that converts XPS/GDI output into ZPL and TSPL thermal printer command languages for industrial label printing☆77Apr 3, 2026Updated 3 weeks ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆175Dec 18, 2025Updated 4 months ago
- StreamNook is a native Twitch desktop application for Windows. Watch streams without lag (or ads), farm drops automatically, and save RAM…☆22Updated this week
- AI dev that actually gets things done☆34Mar 10, 2026Updated last month
- Blazing Fast LLM Inference in Go☆47Updated this week
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆782Updated this week
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆98Nov 26, 2025Updated 5 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.
- 强大的 Canvas 画布编辑器 Web Component，零依赖，支持 Vue 2/3、React、Angular 和原生 HTML | A powerful canvas-based drawing editor Web Component - Zero depend…☆428Jan 16, 2026Updated 3 months ago
- ☆160Dec 3, 2025Updated 4 months ago
- Turn any question into multi-agent exploration. Recursive Claude agents that spawn sub-agents.☆217Dec 23, 2025Updated 4 months ago
- DOI: https://doi.org/10.24294/fsj.v6i2.2931☆47Feb 26, 2026Updated 2 months ago
- For troubleshooting purpose.☆34Jul 28, 2025Updated 9 months ago
- ☆37Jul 28, 2025Updated 9 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆44Jan 1, 2026Updated 3 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆47Jan 17, 2026Updated 3 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The formally verified crypto library for Rust☆222Updated this week
- 🏛 [UNDER CONSTRUCTION] A (roman) claude plugin marketplace☆105Mar 5, 2026Updated last month
- A Rust verification tool☆401Updated this week
- Графический интерфейс для zapret(запрет), разблокирует YouTube, Discord и другие заблокированные сайты☆328Updated this 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…☆4,946Nov 12, 2025Updated 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…☆674Mar 31, 2026Updated 3 weeks ago
- Real-time phishing & scam domain blocklist — 130k+ curated threats, 888K+ community, free API, multiple formats☆982Updated this week
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆363Jan 5, 2026Updated 3 months ago
- tutorial on how to create honeypot token☆493Jan 5, 2026Updated 3 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.
- An Ionic React mobile app for viewing marvel characters and comics☆20May 21, 2021Updated 4 years ago
- Firefly: 大模型训练工具，支持训练Qwen2.5、Qwen2、Yi1.5、Phi-3、Llama3、Gemma、MiniCPM、Yi、Deepseek、Orion、Xverse、Mixtral-8x7B、Zephyr、Mistral、Baichuan2、Llma2、…☆6,648Oct 24, 2024Updated last year
- ✅ Extensible data validation library (name, email, etc)☆56Sep 4, 2019Updated 6 years ago
- Simplifying managing json based translation fields using tabs☆37Apr 20, 2026Updated last week
- Flutter Hackathon kapsamında 48 saatte yaptığımız projedir. FluEvent, etkinlik olusturabileceginiz ve etkinliklere katılım saglayabileceg…☆19Feb 16, 2022Updated 4 years ago
- ☆13Jul 3, 2023Updated 2 years ago
- ExpressJS server for the GitWit React IDE.☆16May 28, 2024Updated last year