STARK prover for ZK IR using Plonky3 with Baby Bear field
☆23Jan 1, 2026Updated 8 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:
- 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 8 months ago
- Generate Tableau Workbooks using AI☆31Feb 17, 2026Updated 6 months ago
- High-performance Solana vanity address generator☆24Nov 26, 2025Updated 9 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆49Jan 17, 2026Updated 7 months ago
- A native Twitch desktop client for Windows. Multi-stream grid, standalone chat, and every emote provider in one place.☆49Updated this week
- 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.
- Custom SOL vanity address generator☆41Nov 26, 2025Updated 9 months ago
- Blazing Fast LLM Inference in Go☆49Updated this week
- High-performance Ethereum vanity address generator☆52Nov 26, 2025Updated 9 months ago
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆199Apr 21, 2026Updated 4 months ago
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆103Feb 2, 2026Updated 7 months ago
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆333Jul 9, 2026Updated last month
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆1,074Aug 16, 2026Updated 3 weeks ago
- Программа на основе zapret (запрет), разблокирует YouTube, Discord, Telegram и другие заблокированные сайты☆348May 30, 2026Updated 3 months ago
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆255Nov 30, 2025Updated 9 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.
- SGLang is a high-performance serving framework for large language models and multimodal models.☆35,594Updated this week
- Management console for the Null ecosystem — install, configure, and monitor AI agents, orchestration workflows, task pipelines, and syste…☆1,860Jul 19, 2026Updated last month
- Real-time phishing & scam domain blocklist - 208k+ curated threats, 1M+ community, free API, multiple formats☆1,738Updated this week
- tutorial on how to create honeypot token☆543Jan 5, 2026Updated 8 months 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…☆37,798Updated this week
- powerd exploit : Sandbox escape to root for Apple iOS < 12.2 on A11 devices☆110Mar 28, 2019Updated 7 years ago
- Sparse Convolutional Context-Aware Multiple Instance Learning for Whole Slide Image Classification | https://arxiv.org/abs/2105.02726☆25Oct 11, 2021Updated 4 years ago
- Restifizer SDK for Unity3d☆62Nov 20, 2016Updated 9 years ago
- Reusable post-processing effects for wgpu☆13Sep 13, 2024Updated last year
- 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.
- moved to Codeberg☆12Jul 24, 2024Updated 2 years ago
- ☆23May 18, 2023Updated 3 years ago
- Improved protein complex prediction with AlphaFold-multimer by denoising the MSA profile☆72Apr 13, 2026Updated 4 months ago
- ☆13Apr 20, 2023Updated 3 years ago
- ☆20Jan 25, 2022Updated 4 years ago
- [no longer maintained] Migrated to https://git.foxite.dev/Foxite/YoutubeDL☆22Oct 18, 2023Updated 2 years ago
- Implementation of the zxcvbn project by @dropbox for Laravel.☆29Mar 19, 2026Updated 5 months ago
- Tools to assess the DNS security of web applications☆129Oct 5, 2022Updated 3 years ago
- LPE of CVE-2024-26230☆23Sep 1, 2024Updated 2 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.
- physicx package, extension of physics package☆12Feb 2, 2023Updated 3 years ago
- Alzheimer's Detection based on Demented and Mild Demented scans using Transfer Learning algorithms: VGG19, NasNetLarge, Inception_V3, and…☆11Aug 9, 2020Updated 6 years ago
- Official repository from the paper "Spatial Cognition from Egocentric Video: Out of Sight, Not Out of Mind"☆19Mar 18, 2025Updated last year
- ChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型☆40,974Jun 27, 2024Updated 2 years ago
- An E(3) Equivariant Variational Autoencoder for Molecular Linker Design☆52Oct 21, 2022Updated 3 years ago
- One Billion row challenge☆10Aug 31, 2024Updated 2 years ago
- ☆12Jan 15, 2023Updated 3 years ago