STARK prover for ZK IR using Plonky3 with Baby Bear field
☆24Jan 1, 2026Updated 4 months ago
Alternatives and similar repositories for zkir-prover
Users that are interested in zkir-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- crypto trading bot for Binance Futures in Python☆21Nov 8, 2025Updated 6 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆47Jan 17, 2026Updated 4 months ago
- Custom SOL vanity address generator☆43Nov 26, 2025Updated 6 months ago
- Turbokit is a batteries-included tool for quickly scaffolding Rails APIs with good defaults.☆27Sep 24, 2025Updated 8 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆26Dec 5, 2025Updated 5 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.
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆172Dec 18, 2025Updated 5 months ago
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆97Nov 26, 2025Updated 6 months ago
- AfterCrypt Protocol SDK☆15Jan 23, 2026Updated 4 months ago
- High-performance cryptography library in 100% safe Rust☆67Dec 23, 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…☆711May 19, 2026Updated last week
- ☆68Mar 12, 2026Updated 2 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
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆336Jan 23, 2026Updated 4 months ago
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆341May 19, 2026Updated last 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.
- Rapida is an open-source, end-to-end voice AI orchestration platform for building real-time conversational voice agents with audio stream…☆637May 21, 2026Updated last week
- Create your own memecoin with full step by step tutorials☆541Jan 26, 2025Updated last year
- Real-time phishing & scam domain blocklist — 130k+ curated threats, 888K+ community, free API, multiple formats☆998Updated this week
- ☆16Apr 14, 2026Updated last month
- Use Laravel Echo with API Gateway Websockets. Works with Bref.sh and Laravel Vapor.☆104Mar 23, 2026Updated 2 months ago
- My fork of CakePHP contains volatile code that may be rebased or removed without warning.☆22Jun 28, 2015Updated 10 years ago
- transformer for sparsely annotated sementic segmentation☆19May 9, 2023Updated 3 years ago
- Custom inventory for Minecraft servers☆43Apr 19, 2022Updated 4 years ago
- ☆12Jun 3, 2016Updated 9 years 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.
- Official implementation of "Towards Generalizable Vision-Language Robotic Manipulation: A Benchmark and LLM-guided 3D Policy."☆130Oct 23, 2025Updated 7 months ago
- A PyMOL plugin for visualizing vibrations in molecules and solids☆44Oct 8, 2025Updated 7 months ago
- Code Line Statistic for GitHub, a.k.a remote sloc☆14Nov 16, 2025Updated 6 months ago
- A custom sliding indicator view showing the air quality index(AQI) by hour( From MoWeather)☆11Feb 9, 2021Updated 5 years ago
- 🌮 Table-based KB Completer☆16Mar 13, 2024Updated 2 years ago
- A babel plugin to remove specific named exports and more☆25Dec 25, 2021Updated 4 years ago
- ☆12Aug 12, 2017Updated 8 years ago
- A multifunctional Flutter image widget☆163Aug 13, 2024Updated last year
- Python package for inferring reservoir water extent, level and storage volume.☆14Jan 31, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This tool converts geoip.dat and geosite.dat to sing-box srs format.☆41Oct 14, 2024Updated last year
- Wrapper library built around the Payfast payment intergration that allows for different types of payments to be setup and made from Flutt…☆12Sep 30, 2025Updated 7 months ago
- Gitea功能增强助手，基于Bun和TypeScript开发，提供AI驱动的代码审查等增强功能。本工具通过Webhook与Gitea集成，自动对Pull Request和提交进行代码审查，并提供智能化的代码质量分析。☆25Mar 26, 2026Updated 2 months ago
- In this project we have explained how to fetch the data from external API using axios method and display in Material UI table.☆11Feb 10, 2021Updated 5 years ago
- Simple PHP Script to return your true external ip (wan)☆11Mar 7, 2015Updated 11 years ago
- Object-Centric-Representation Library (OCRL): This repo is to explore OCR on various downstream tasks from supervised learning tasks to R…☆12Feb 23, 2024Updated 2 years ago
- Dataset and modelling infrastructure for modelling "event streams": sequences of continuous time, multivariate events with complex intern…☆117Jul 2, 2025Updated 10 months ago