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

< 1 / 2 >