Skip to content

@verifast verifast

Change the repository type filter

All

    Repositories list

    11 repositories

    • verifast

      Public
      Research prototype tool for modular formal verification of C, Rust and Java programs
      Rust
      •
      Other
      •68•474•103•7•Updated Feb 16, 2026Feb 16, 2026

    • verifast-vscode

      Public
      Visual Studio Code extension for running VeriFast
      TypeScript
      •
      Other
      •2•4•0•0•Updated Dec 26, 2025Dec 26, 2025

    • rust-unsafe-tutorial

      Public
      Verifying purely `unsafe` Rust programs with VeriFast: a tutorial
      TeX
      •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025

    • vfdeps

      Public
      Dependencies for VeriFast
      Makefile
      •
      MIT License
      •2•1•0•0•Updated Jan 8, 2025Jan 8, 2025

    • vf-llvm-clang-build

      Public
      2•0•0•0•Updated Jan 8, 2025Jan 8, 2025

    • tutorial

      Public
      The VeriFast Tutorial
      TeX
      •1•5•1•0•Updated Aug 27, 2024Aug 27, 2024

    • capnproto-rust

      Public
      Cap'n Proto for Rust
      Rust
      •
      MIT License
      •252•0•0•0•Updated Jan 6, 2024Jan 6, 2024

    • verifast-docs

      Public
      Documentation for VeriFast
      0•1•0•0•Updated Oct 29, 2023Oct 29, 2023

    • ppx_parser

      Public
      Write stream parser in OCaml using ppx extensions
      OCaml
      •
      ISC License
      •2•0•0•1•Updated Jun 7, 2023Jun 7, 2023

    • vfdeps-win

      Public
      OCaml and OCaml-based VeriFast dependencies on Windows
      Makefile
      •1•1•1•0•Updated Apr 28, 2023Apr 28, 2023

    • vfdeps-win-noz3

      Public
      OCaml-based VeriFast dependencies, sans Z3
      Makefile
      •1•0•0•1•Updated Oct 11, 2021Oct 11, 2021