Skip to content

@verifast verifast

Change the repository type filter

All

    Repositories list

    10 repositories

    • verifast

      Public
      Research prototype tool for modular formal verification of C, Rust and Java programs
      Rust
      •
      Other
      •68•384•91•7•Updated Feb 12, 2025Feb 12, 2025

    • verifast-vscode

      Public
      Visual Studio Code extension for running VeriFast
      TypeScript
      •
      Other
      •2•2•0•0•Updated Jan 15, 2025Jan 15, 2025

    • vfdeps

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

    • vf-llvm-clang-build

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

    • tutorial

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

    • capnproto-rust

      Public
      Cap'n Proto for Rust
      Rust
      •
      MIT License
      •226•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