A bytecode format for zero-knowledge proof generation
☆53Jan 1, 2026Updated 4 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 4 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 4 months ago
- 4D World Model for Autonomous Driving☆64Nov 29, 2025Updated 5 months ago
- Generate Tableau Workbooks using AI☆31Feb 17, 2026Updated 3 months ago
- A historical archive of Social Security Number (SSN) area-group combinations and their issuance dates, compiled from official SSA High Gr…☆26Jan 9, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The new Windows Terminal and the original Windows console host, all in the same place!☆26Dec 5, 2025Updated 5 months ago
- Windows V4 printer driver that converts XPS/GDI output into ZPL and TSPL thermal printer command languages for industrial label printing☆76Apr 3, 2026Updated last month
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆174Dec 18, 2025Updated 5 months ago
- AI dev that actually gets things done☆34Mar 10, 2026Updated 2 months ago
- Encapsulates business logic in isolated, reusable operation classes for clarity and testability.☆27Dec 12, 2025Updated 5 months ago
- German-OCR is specifically trained to extract text from German documents including invoices, receipts, forms, and other business document…☆108May 6, 2026Updated last week
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆165Apr 21, 2026Updated 3 weeks ago
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆97Nov 26, 2025Updated 5 months ago
- ☆161Dec 3, 2025Updated 5 months ago
- 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.
- DOI: https://doi.org/10.24294/fsj.v6i2.2931☆47Feb 26, 2026Updated 2 months ago
- For troubleshooting purpose.☆34Jul 28, 2025Updated 9 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆44Jan 1, 2026Updated 4 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆47Jan 17, 2026Updated 4 months ago
- A unified, driver-based Laravel toolkit for working with multiple LLM providers for chat, image generation, and more.☆42Updated this week
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆297Nov 6, 2025Updated 6 months ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆106Feb 2, 2026Updated 3 months ago
- 🏛 [UNDER CONSTRUCTION] A (roman) claude plugin marketplace☆104Mar 5, 2026Updated 2 months ago
- A Rust verification tool☆410Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆339May 7, 2026Updated last week
- Awesome API Clients & Postman Alternatives (Open Source, Free, Pro)☆636Apr 19, 2025Updated last year
- 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,952Nov 12, 2025Updated 6 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…☆697Updated this week
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆410Jan 5, 2026Updated 4 months ago
- Create your own memecoin with full step by step tutorials☆543Jan 26, 2025Updated last year
- 🧱 Describe your site, AI builds it, you own it as Markdown. Snap together Tailwind blocks like Lego — landing pages, blogs, portfolios, …☆9,426May 4, 2026Updated 2 weeks ago
- The flexible backend for all your projects 🐰 Turn your DB into a headless CMS, admin panels, or apps with a custom UI, instant APIs, aut…☆35,709Updated this week
- A Material-UI file upload dropzone☆479Mar 13, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Chat to various Large language models through a GUI☆27Feb 7, 2025Updated last year
- Audit agent skill definitions for security, completeness, and compatibility across Codex, Claude Code, OpenClaw, and more☆41Feb 10, 2026Updated 3 months ago
- simple way of running multiple debian containers on a (openvz) VPS (instead of docker )☆20May 28, 2020Updated 5 years ago
- A Serilog sink that writes events to RavenDB☆17Feb 20, 2024Updated 2 years ago
- JavaScript implementation and interactive playground for Kalman filters.☆17Jan 23, 2013Updated 13 years ago
- A generic collapsable implementation with dragging and nested scrolling support☆106Oct 14, 2024Updated last year
- This is the repository of all projects data submitted to The Sigma Awards.☆16May 11, 2026Updated last week