verifast

verifast Public

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

Rust 501 72 106 14 Updated May 10, 2026

verifast-vscode Public

Visual Studio Code extension for running VeriFast

TypeScript 4 2 0 0 Updated Dec 26, 2025

rust-unsafe-tutorial Public

Verifying purely `unsafe` Rust programs with VeriFast: a tutorial

TeX 1 0 0 0 Updated Oct 22, 2025

vfdeps Public

Dependencies for VeriFast

Makefile 1MIT 2 0 0 Updated Jan 8, 2025

vf-llvm-clang-build Public Forked from NielsMommen/vf-llvm-clang-build

0 3 0 0 Updated Jan 8, 2025

tutorial Public

The VeriFast Tutorial

TeX 5 1 1 0 Updated Aug 27, 2024

capnproto-rust Public Forked from capnproto/capnproto-rust

Cap'n Proto for Rust

Rust 0MIT 272 0 0 Updated Jan 6, 2024

verifast-docs Public

Documentation for VeriFast

1 0 0 0 Updated Oct 29, 2023

ppx_parser Public Forked from NielsMommen/ppx_parser

Write stream parser in OCaml using ppx extensions

OCaml 0ISC 2 0 1 Updated Jun 7, 2023

vfdeps-win Public

OCaml and OCaml-based VeriFast dependencies on Windows

Makefile 1 1 1 0 Updated Apr 28, 2023

Navigation Menu

Uh oh!

Uh oh!

verifast

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!