@verifast
Guthub

verifast

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    366
  • Global Org. Rank 28,859 (Top 10 %)
  • Registered about 11 years ago
  • Most used languages
    Makefile     40.0 %
    TypeScript
         20.0 %
    Rust
         20.0 %
    TeX
         20.0 %

Top repositories

1

verifast

Research prototype tool for modular formal verification of C and Java programs
Rust
357
star
2

tutorial

The VeriFast Tutorial
TeX
4
star
3

verifast-vscode

Visual Studio Code extension for running VeriFast
TypeScript
2
star
4

vfdeps

Dependencies for VeriFast
Makefile
1
star
5

vfdeps-win

OCaml and OCaml-based VeriFast dependencies on Windows
Makefile
1
star
6

verifast-docs

Documentation for VeriFast
1
star