1. Functional Data Structures and Algorithms. A Proof Assistant Approach  functional-algorithms-verified.org
   2023-09-01 00:24:35   #pdf #book #formalmethods #plt #new
2. Simple Verification of Rust Programs via Functional Purification (2016)  github.com
   2023-07-19 12:19:36   #pdf #rust #formalmethods #code #new
3. IAMSpy  github.com
   2023-04-18 20:01:48   #security #formalmethods #code #new
4. Rust Contracts RFC Draft / minutes from formal verification meeting  github.com
   2023-01-04 22:26:51   #rust #formalmethods #code #new
5. owi: Cross-language Bugfinder  github.com
   2025-03-11 20:59:46   #ml #formalmethods #code #new
6. fathom - A declarative data definition language for formally specifying binary data  github.com
   2022-11-24 05:14:12   #formalmethods #plt #code #new
7. Project Everest: Provably Secure Communication Software  project-everest.github.io
   2022-11-15 01:02:22   #security #formalmethods #new
8. Apalache - Symbolic Model Checker for TLA+  apalache.informal.systems
   2022-09-27 07:53:40   #practices #formalmethods #new
9. aneris: Program logic for developing and verifying distributed systems  github.com
   2022-09-19 05:40:35   #distributed #formalmethods #code #new
10. The five-minute feedback fix  github.com
    2022-09-13 22:24:29   #formalmethods #code #new
11. GOSPEL: A tool-agnostic formal specification language for OCaml  github.com
    2022-09-04 10:34:41   #ml #formalmethods #code #new
12. Python hypothesis property-based testing library  hypothesis.works
    2022-05-25 22:56:44   #python #formalmethods #new
13. modelator-py: Utilities for the TLA+ ecoystem  github.com
    2022-04-01 00:44:05   #formalmethods #code #new
14. Pantagruel v0.5.1  github.com
    2022-03-20 16:12:23   #release #formalmethods #code #new
15. bonak: an iterated Grothendieck construction of semi-cubical types  github.com
    2022-03-13 09:40:42   #show #math #formalmethods #code

< 2 / 2 >