☆15Jun 20, 2025Updated last year
Alternatives and similar repositories for risczero-fv
Users that are interested in risczero-fv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- This package provides an interface and foundation for verified SAT reasoning☆57Aug 29, 2024Updated 2 years ago
- Lean 4 tree-sitter bindings — typed grammar schemas, declaration extraction, source maps, and verified properties☆21Jul 16, 2026Updated 3 months ago
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 3 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.
- Try a tactic at each step in a Lean proof.☆39Oct 6, 2026Updated last week
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆83Feb 14, 2023Updated 3 years ago
- ☆27Sep 8, 2026Updated last month
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A toy example of a verified compiler.☆32Apr 7, 2026Updated 6 months ago
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated 2 years ago
- Course materials for Chalmers TPIL25 class☆16Feb 13, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆15Aug 19, 2026Updated last month
- ☆75Jun 4, 2026Updated 4 months ago
- MiniLM (BERT) embeddings from scratch☆22Aug 14, 2025Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆37May 4, 2026Updated 5 months ago
- CoqIDE-like experience for kakoune☆10Nov 8, 2022Updated 3 years ago
- Python client to interact with the lean4 language server.☆48Aug 19, 2026Updated last month
- Automated verification of uniqueness property for ZKP circuits☆98Mar 13, 2024Updated 2 years ago
- Anki plugin to fully expose a REST API for flashcard management.☆17Jun 10, 2023Updated 3 years ago
- json data for dota heroes and items☆16Nov 10, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- IETF RATS terms cheat sheet☆12Feb 4, 2023Updated 3 years ago
- Horus, a formal verification tool for StarkNet smart contracts.☆75Jun 20, 2025Updated last year
- ☆14Sep 23, 2026Updated 3 weeks ago
- ☆38Aug 20, 2026Updated last month
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- ☆11Sep 10, 2024Updated 2 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 28, 2026Updated last month
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- Lean circuit DSL☆203Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 5 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- ☆17May 22, 2023Updated 3 years ago
- Open Source Guidelines (Swiss Government)☆36Sep 15, 2026Updated last month
- Unix-specific portions of Core☆19Jul 10, 2026Updated 3 months ago