Project to formally verify SPQR using Lean
☆11Oct 29, 2026Updated this week
Alternatives and similar repositories for SparsePostQuantumRatchet-verify
Users that are interested in SparsePostQuantumRatchet-verify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formal verification of Rust code with AI-assisted specification and proof.☆23Updated this week
- Verifying curve25519-dalek using Lean☆14Oct 12, 2026Updated 2 weeks ago
- Rust port of the Tamarin Prover☆14Updated this week
- tools and benchmarks for verified coding☆35Jun 5, 2026Updated 4 months ago
- Lean formalization of a complex structure on the six-sphere☆17Oct 8, 2026Updated 3 weeks 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.
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆18Jul 20, 2026Updated 3 months ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Sort & Slice: A Simple and Superior Alternative to Hash-Based Folding for Extended-Connectivity Fingerprints (ECFPs)☆10Feb 13, 2025Updated last year
- ☆14Dec 12, 2023Updated 2 years ago
- ☆21Mar 4, 2026Updated 7 months ago
- ☆12Apr 23, 2026Updated 6 months ago
- Web Assembly low level implementation of pairing friendly curves.☆16Oct 4, 2026Updated 3 weeks ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Oct 19, 2026Updated last week
- Bertie TLS 1.3 Implementation☆138Updated this week
- 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.
- Comparator-based Lean formal mathematics eval☆49Updated this week
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 10 months ago
- Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.☆10Jul 2, 2026Updated 3 months ago
- Rust 实现的 12306 风格高并发铁路售票引擎：区间段库存/防超卖/削峰排队/候补兑现/WAL 崩溃恢复☆11Aug 14, 2026Updated 2 months ago
- [NeurIPS 2025] Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks☆14Nov 29, 2025Updated 11 months ago
- ☆14Apr 14, 2025Updated last year
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆35Mar 9, 2026Updated 7 months ago
- A collection of helpers for reproducible images☆15Aug 24, 2026Updated 2 months ago
- The VS Code extension for Waterproof. Helps students learn how to write mathematical proofs.☆12Oct 11, 2026Updated 2 weeks 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.
- Write formal proofs in natural language and LaTeX.☆53Updated this week
- Compositional Verification of Security Protocols☆37Updated this week
- ☆31Apr 3, 2026Updated 6 months ago
- ☆12Feb 15, 2024Updated 2 years ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆35May 22, 2026Updated 5 months ago
- 🎓Automatically Update AI4math Papers Daily using Github Actions☆15Oct 19, 2026Updated last week
- MI and Formal Verification of NNs on Algorithmic tasks!☆18Mar 18, 2024Updated 2 years ago
- A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.☆29Oct 24, 2026Updated last week
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years 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.
- ☆16Mar 27, 2024Updated 2 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 9 months ago
- Trusted Timestamping Framework for Scientific Research☆16Sep 23, 2025Updated last year
- Repository with example smart contracts and corresponding frontend☆11Jun 27, 2023Updated 3 years ago
- Faster, Smaller, Harder HPKE for Rust☆30Aug 23, 2026Updated 2 months ago
- guarded interaction trees☆14Jul 6, 2026Updated 3 months ago
- High Assurance Cryptographic Software☆10Sep 1, 2026Updated last month