verifast

verifast Public
Research prototype tool for modular formal verification of C, Rust and Java programs

verifast/verifast’s past year of commit activity
verifast/verifast-vscode’s past year of commit activity

TypeScript
4 2 0 0
Updated Dec 26, 2025
verifast/rust-unsafe-tutorial’s past year of commit activity

TeX 0 0
0 0
Updated Oct 22, 2025
vfdeps Public
Dependencies for VeriFast

verifast/vfdeps’s past year of commit activity

Makefile
1
MIT
2 0 0
Updated Jan 8, 2025
verifast/vf-llvm-clang-build’s past year of commit activity

0
3 0 0
Updated Jan 8, 2025
verifast/tutorial’s past year of commit activity

TeX
5 1 1 0
Updated Aug 27, 2024
verifast/capnproto-rust’s past year of commit activity

Rust 0 MIT
261 0 0
Updated Jan 6, 2024
verifast/verifast-docs’s past year of commit activity

1
0
0 0
Updated Oct 29, 2023
verifast/ppx_parser’s past year of commit activity

OCaml 0 ISC
2 0 1
Updated Jun 7, 2023
vfdeps-win Public
OCaml and OCaml-based VeriFast dependencies on Windows

verifast/vfdeps-win’s past year of commit activity

Makefile
1 1 1 0
Updated Apr 28, 2023