STARK prover for ZK IR using Plonky3 with Baby Bear field
☆23Jan 1, 2026Updated 5 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:
- 4D World Model for Autonomous Driving☆63Nov 29, 2025Updated 6 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆46Jan 17, 2026Updated 5 months ago
- ☆22May 6, 2025Updated last year
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆165Dec 18, 2025Updated 6 months ago
- High-performance Ethereum vanity address generator☆52Nov 26, 2025Updated 6 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.
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆180Apr 21, 2026Updated last month
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆95Nov 26, 2025Updated 6 months ago
- AfterCrypt Protocol SDK☆15Jan 23, 2026Updated 4 months ago
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆96Nov 30, 2025Updated 6 months ago
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆333Jan 23, 2026Updated 4 months ago
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆332May 30, 2026Updated 2 weeks ago
- Create your own memecoin with full step by step tutorials☆503Jan 26, 2025Updated last year
- SGLang is a high-performance serving framework for large language models and multimodal models.☆28,978Updated this week
- tutorial on how to create honeypot token☆503Jan 5, 2026Updated 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Grammer for Embarcadero Delphi in BNF form☆24Feb 19, 2022Updated 4 years ago
- A simple Multi Guild Modmail Bot coded in v13 using the enmap Database Working on any host, like repl.it or vps! Its fast and working bug…☆54Oct 16, 2021Updated 4 years ago
- Depth Enhanced Monocular Odometry (RGBD camera slimmed down version)☆20Aug 24, 2014Updated 11 years ago
- ☆15Jun 2, 2024Updated 2 years ago
- ☆12Mar 18, 2017Updated 9 years ago
- 🌈🌈🌈 transform not module.(css|scss|less) to css module☆24Apr 26, 2021Updated 5 years ago
- Book Recommendation System☆234May 2, 2024Updated 2 years ago
- A Convex Hull plug-in for Maya based on StanHull☆42Feb 27, 2024Updated 2 years ago
- This is a simulator software for SLAM. The pose estimation strategy, Venom, receives enhanced powers when structure primities are deteced…☆70Mar 9, 2023Updated 3 years 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.
- Fastest tool to access data in Elixir☆363Aug 16, 2025Updated 10 months ago
- Tracks the ISS and when it is near your area it will send a tweet!☆12Feb 25, 2021Updated 5 years ago
- Include Tables, Images and Graphs in Leaflet Popups☆117May 15, 2025Updated last year
- A HTML sanitizing package for Go☆47Jul 27, 2018Updated 7 years ago
- ChatGPT as a status bar item for macOS☆35Dec 30, 2022Updated 3 years ago
- Kotlin(ktor, exposed) based rest api, graphql server☆11Nov 16, 2022Updated 3 years ago
- Julia package for lazily viewing a 3D or 4D array as an expanded 2D array in the form of a mosaic of matrix slices☆25Dec 15, 2025Updated 6 months ago
- ☆14Dec 5, 2025Updated 6 months ago
- Detect scams tokens and calculate tax fees☆10Jun 19, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Differential Analysis of Malware in Memory☆214Apr 16, 2017Updated 9 years ago
- RAGme-io is a personalized RAG agent for the web sites you visit and documents you care about☆16Sep 25, 2025Updated 8 months ago
- Repository of GUI Action Narrator☆13Apr 8, 2025Updated last year
- Implementing features from "Advances in Financial Machine Learning" by Marcos López del Prado in a financial algorithm using Enigma Catal…☆11Jul 13, 2020Updated 5 years ago
- Simple maze game implemented on the Nexys3 FPGA. Features a custom VGA controller for graphics output.☆14Mar 30, 2014Updated 12 years ago
- TablePlus iOS issue tracker☆20Sep 21, 2021Updated 4 years ago
- CaDM: Context-aware Dynamics Model for Generalization in Model-based Reinforcement Learning☆63May 20, 2020Updated 6 years ago