lengyijun / polonius-proofView external linksLinks
Verify naive = datafrog-opt, in rust/polonius
☆15Jun 26, 2025Updated 7 months ago
Alternatives and similar repositories for polonius-proof
Users that are interested in polonius-proof are comparing it to the libraries listed below
Sorting:
- The CompCert formally-verified C compiler☆10Updated this week
- experimental datalog rules for a next gen polonius☆19Sep 6, 2022Updated 3 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆28Jan 8, 2026Updated last month
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 7 years ago
- ☆16Jul 26, 2025Updated 6 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆52Jul 20, 2025Updated 6 months ago
- ☆20Dec 10, 2024Updated last year
- A set of tools for working with datafrog☆28Sep 1, 2025Updated 5 months ago
- A Rust crate that implements "design by contract" via procedural macros☆27Feb 2, 2026Updated last week
- The Robius book: details about our vision for multi-platform app dev in Rust, plus docs, tutorials, examples, and more.☆24Jan 5, 2024Updated 2 years ago
- An implementation of random number generator based on rdrand instruction☆25Dec 17, 2023Updated 2 years ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- A verified polyhedral scheduling validator in Coq.☆23Oct 2, 2024Updated last year
- Zig Optimizing Backend☆25Jun 8, 2025Updated 8 months ago
- A type theory with native support for Polynomial Functors.☆41Oct 8, 2023Updated 2 years ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- Coq plugin for monomorphization and C code generation☆39Jan 16, 2026Updated 3 weeks ago
- Rust library for memory barrier☆36May 17, 2024Updated last year
- x86_64 disassembler library written in Zig☆43Jul 21, 2025Updated 6 months ago
- We have Crater At Home☆37Oct 26, 2024Updated last year
- RustHorn: A CHC-based automated verifier for Rust☆89Mar 14, 2025Updated 11 months ago
- Image Diff for snapshot testing☆47Oct 6, 2025Updated 4 months ago
- ☆16Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Pure D implementation of SHA-3 (Keccak-f[1600,24]) + DUB package☆12Sep 15, 2025Updated 4 months ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆17Jan 3, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆10Jan 16, 2025Updated last year
- ☆52May 19, 2024Updated last year
- ☆41Nov 8, 2014Updated 11 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆55Nov 22, 2025Updated 2 months ago
- ☆200Mar 4, 2025Updated 11 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 10 months ago
- ☆10May 27, 2025Updated 8 months ago
- Rust binding for libfyaml☆13Dec 7, 2024Updated last year
- Connected Papers knockoff, managing academic papers and citations with graph database.☆12Dec 26, 2023Updated 2 years ago