Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
3 "formal-verification" Awesome Lists
awesome-open-hardware-verification
A List of Free and Open Source Hardware Verification Tools and Frameworks
awesome awesome-list constrained-random-verification coverage formal-verification hardware python verification verilog vhdl
448 stars
49 forks
44 projects
Last updated: 12 May 2024
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover
265 stars
8 forks
572 projects
Last updated: 05 May 2024
awesome-provable
A curated set of links to formal methods involving provable code.
agda certified-programming coq formal-verification idris isabelle isabelle-hol sel4
187 stars
8 forks
76 projects
Last updated: 08 May 2024