Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI
☆15Apr 6, 2026Updated 6 months ago
Alternatives and similar repositories for circuit-lean-rust-ffi
Users that are interested in circuit-lean-rust-ffi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Sep 12, 2026Updated last month
- ☆19Sep 4, 2026Updated last month
- A fast, modular, optimized ZKEVM core written in C++☆15Updated this week
- ☆12Jun 5, 2025Updated last year
- Solidity implementation of the Renegade darkpool☆13Mar 26, 2026Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆32Oct 27, 2025Updated last year
- ☆17Oct 7, 2026Updated 3 weeks ago
- Ethereum execution client benchmarking tool☆12Oct 21, 2026Updated last week
- ☆27Updated this week
- ☆69Apr 1, 2026Updated 6 months ago
- Lottery data analysis based on Mega Sena.☆13Aug 25, 2019Updated 7 years ago
- Lattice zkVM (post-quantum zkVM)☆39Updated this week
- A Solidity implementation of Halo2's Pasta curves☆53Mar 30, 2023Updated 3 years ago
- ☆26Feb 25, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- bottom text☆16Jan 26, 2024Updated 2 years ago
- OpenEdge ABL language definition for different code editors☆10Mar 22, 2023Updated 3 years ago
- The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.☆17Oct 18, 2026Updated last week
- ☆95Updated this week
- ☆12Nov 21, 2022Updated 3 years ago
- Proof system backends for OpenVM.☆40Aug 28, 2026Updated 2 months ago
- a utility to quickly spin up a localnet of lean (multi-client) nodes☆15Jul 21, 2026Updated 3 months ago
- Formal Verification for Ethereum☆10Jan 27, 2026Updated 9 months ago
- Implementation of the Zcash Orchard Protocol☆77Sep 30, 2026Updated 3 weeks 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.
- zkVM benchmarking for Ethereum☆44Updated this week
- Offline neural translation across English, Spanish, French & Italian — type or speak, read or hear it. Built on ggml.☆33Jul 2, 2026Updated 3 months ago
- Exploratory Data Analysis in the Browser with R backend☆11Sep 4, 2014Updated 12 years ago
- ☆13Nov 10, 2023Updated 2 years ago
- collect stats from github and into couchdb☆11May 28, 2016Updated 10 years ago
- A parallel proving service for ZKM.☆22Oct 5, 2026Updated 3 weeks ago
- Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage☆14Updated this week
- A monorepo of InterRep JavaScript libraries.☆11Mar 3, 2023Updated 3 years ago
- ZKsync protocol libraries☆22Aug 25, 2026Updated 2 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.
- ☆14Apr 18, 2026Updated 6 months ago
- An AI-powered agent system generating and verifying Lean 4 code, translating natural language problems into formally proven programs usin…☆21May 30, 2025Updated last year
- A Jacopo de' Barbari inspired theme for Omarchy☆18Aug 27, 2026Updated 2 months ago
- Load test shiny app against Docker Swarm and HA RSC Cluster.☆11Aug 2, 2017Updated 9 years ago
- ☆48Dec 10, 2025Updated 10 months ago
- ☆14Sep 10, 2026Updated last month
- São José dos Campos, Brazil☆18Sep 24, 2018Updated 8 years ago