1. coqoban: Sokoban (in Coq)  github.com
    2025-04-09 04:04:12   #games #formalmethods #code #new
  2. certicoq: A Verified Compiler for Gallina, Written in Gallina  github.com
    2025-04-07 03:48:23   #formalmethods #code #new
  3. Advent of Code in Coq (2021)  github.com
    2025-04-02 02:24:18   #formalmethods #code #new
  4. Lean 4, release v4.17.0  github.com
    2025-03-04 23:48:16   #release #formalmethods #code #new
  5. Practical Alloy: A hands-on guide to formal software design  practicalalloy.github.io
    2025-02-19 20:36:29   #book #formalmethods #new
  6. Verified and Efficient Matching of Regular Expressions with Lookaround  github.com
    2025-01-23 06:36:38   #formalmethods #code #new
  7. Verified post-quantum cryptography on the web  pq.cryspen.com
    2025-01-14 10:05:54   #web #cryptography #formalmethods #new
  8. jspin: GUI for running the SPIN model checker  github.com
    2024-11-04 19:38:47   #formalmethods #code #new
  9. The RAISE specification language, method, and tools  raisetools.github.io
    2024-10-20 17:17:16   #formalmethods #new
  10. TLA+ Wiki  docs.tlapl.us
    2024-10-18 14:44:40   #formalmethods #new
  11. Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada  ironclad.nongnu.org
    2024-10-04 13:06:59   #formalmethods #osdev #new
  12. aya-dev: A proof assistant and a dependently-typed language  github.com
    2024-08-29 07:23:14   #formalmethods #plt #code #new
  13. VeriNum: Formally Verified Numerical Methods  verinum.org
    2024-08-20 22:52:18   #formalmethods #new
  14. SciLean: Scientific computing in Lean 4  github.com
    2024-07-29 08:27:56   #science #formalmethods #code #new
  15. Creusot 0.1 (deductive verification tool for Rust)  github.com
    2024-05-20 15:32:47   #rust #formalmethods #code #new #release
  16. CakeML  cakeml.org
    2024-04-23 23:51:54   #ml #compilers #formalmethods #new
  17. FizzBee -- Model checker in Python  fizzbee.io
    2024-04-05 09:55:44   #formalmethods #new
  18. Creusot, a deductive verifier for Rust code  github.com
    2024-02-25 20:03:54   #rust #formalmethods #code #new
  19. Coq theorem prover will be renamed into Rocq  github.com
    2024-02-11 07:58:51   #formalmethods #code #new
  20. Holiday protocols: secret santa with Quint - Formally specifying and model checking secret santa  github.com
    2023-12-21 22:08:25   #programming #formalmethods #code #new #blog
  21. NASA Library of Formal Method Developments  github.com
    2023-12-15 16:16:35   #lisp #formalmethods #code #new
  22. bfcoq: Brainfuck compiler in Coq  github.com
    2023-11-30 20:50:23   #programming #compilers #formalmethods #code #new
  23. A Theory of Compositional Tool-Assisted Speedrunning  gist.github.com
    2023-11-15 18:51:22   #reversing #math #games #formalmethods #gist
  24. Alloy to C# models  github.com
    2023-10-13 17:25:37   #dotnet #haskell #formalmethods #code #new
  25. Program Proofs  program-proofs.com
    2023-09-01 20:01:00   #dotnet #formalmethods #plt #new

< 1 / 2 >