Skip to content
@verifast

verifast

Pinned Loading

  1. verifast verifast Public

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

    Rust 481 71

Repositories

Showing 10 of 11 repositories
  • verifast Public

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

    verifast/verifast’s past year of commit activity
    Rust 481 71 106 13 Updated Mar 19, 2026
  • verifast-vscode Public

    Visual Studio Code extension for running VeriFast

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

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

    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
  • vf-llvm-clang-build Public Forked from NielsMommen/vf-llvm-clang-build
    verifast/vf-llvm-clang-build’s past year of commit activity
    0 3 0 0 Updated Jan 8, 2025
  • tutorial Public

    The VeriFast Tutorial

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

    Cap'n Proto for Rust

    verifast/capnproto-rust’s past year of commit activity
    Rust 0 MIT 264 0 0 Updated Jan 6, 2024
  • verifast-docs Public

    Documentation for VeriFast

    verifast/verifast-docs’s past year of commit activity
    1 0 0 0 Updated Oct 29, 2023
  • ppx_parser Public Forked from NielsMommen/ppx_parser

    Write stream parser in OCaml using ppx extensions

    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
View all repositories

Top languages

Loading…

Most used topics

Loading…