A bytecode format for zero-knowledge proof generation
☆52Jan 1, 2026Updated 5 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☆23Jan 1, 2026Updated 5 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…☆18Dec 30, 2025Updated 5 months ago
- 4D World Model for Autonomous Driving☆63Nov 29, 2025Updated 6 months ago
- Generate Tableau Workbooks using AI☆30Feb 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 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.
- The new Windows Terminal and the original Windows console host, all in the same place!☆26Dec 5, 2025Updated 6 months ago
- Windows V4 printer driver that converts XPS/GDI output into ZPL and TSPL thermal printer command languages for industrial label printing☆55Apr 3, 2026Updated 2 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆171Dec 18, 2025Updated 5 months ago
- AI dev that actually gets things done☆33Mar 10, 2026Updated 2 months ago
- Encapsulates business logic in isolated, reusable operation classes for clarity and testability.☆27Dec 12, 2025Updated 5 months ago
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆337Jan 23, 2026Updated 4 months ago
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆176Apr 21, 2026Updated last month
- Blazing Fast LLM Inference in Go☆46Updated this week
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆923Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A multi-step reasoning pipeline powered by the Datarus-R1-14B-Preview model☆221Aug 21, 2025Updated 9 months ago
- 强大的 Canvas 画布编辑器 Web Component，零依赖，支持 Vue 2/3、React、Angular 和原生 HTML | A powerful canvas-based drawing editor Web Component - Zero depend…☆423Jan 16, 2026Updated 4 months ago
- ☆161Dec 3, 2025Updated 6 months ago
- DOI: https://doi.org/10.24294/fsj.v6i2.2931☆41Feb 26, 2026Updated 3 months ago
- 🚀 Solana Airdrop Guide 2026 | Manual Version☆44Jan 1, 2026Updated 5 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.☆41May 14, 2026Updated 3 weeks ago
- Сайт для продажи подписок с интеграцией Remnawave + админка https://remna.st/☆115Feb 16, 2026Updated 3 months ago
- The formally verified crypto library for Rust☆238Updated this week
- 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.
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆97Nov 30, 2025Updated 6 months ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆105Feb 2, 2026Updated 4 months ago
- Open-source, frictionless CAPTCHA and bot defense. A privacy-focused alternative to reCAPTCHA and hCaptcha.☆296Updated this week
- 🏛 [UNDER CONSTRUCTION] A (roman) claude plugin marketplace☆97Mar 5, 2026Updated 3 months ago
- Программа на основе zapret (запрет), раз блокирует YouTube, Discord, Telegram и другие заблокированные сайты☆347May 30, 2026Updated last 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,947Nov 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…☆716May 19, 2026Updated 2 weeks ago
- ADAMANT Forging pool with Web interface☆483Sep 29, 2025Updated 8 months ago
- Tutorial on how to create your own honeypot erc20/ bep20 tokens and listing to Uniswap☆402Jan 5, 2026Updated 5 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.
- 🧱 Describe your site, AI builds it, you own it as Markdown. Snap together Tailwind blocks like Lego — landing pages, blogs, portfolios, …☆9,504May 27, 2026Updated last week
- Simple and secure secret sharing in the browser☆55Mar 30, 2025Updated last year
- Tutorials for learning Ruby☆13May 11, 2020Updated 6 years ago
- SSH and run commands on other servers asynchronously for Nim.☆25Jun 25, 2021Updated 4 years ago
- Custom card that helps you remember birthdays and other events that happen once a year on the same date.☆38Jan 19, 2022Updated 4 years ago
- A simple static site generator with an integrated toolchain for efficient development and delivery.☆20Sep 24, 2021Updated 4 years ago
- An open-source Swift package for interacting with Anthropic's public API.☆243Apr 18, 2026Updated last month