Skip to content
@boogie-org

Boogie

Organisation for Microsoft Research's Boogie IVL and related projects

Pinned Loading

  1. boogie Public

    Boogie

    Boogie 551 115

  2. corral Public

    solver for the reachability modulo theories problem

    Boogie 60 30

Repositories

Showing 10 of 18 repositories
  • boogie Public

    Boogie

    Boogie 551 MIT 115 29 9 Updated Jul 31, 2025
  • symdiff Public

    SymDiff-Differential-Program-Verifier

    Boogie 36 9 1 2 Updated Jul 11, 2025
  • lean-embedding Public

    An embedding of Boogie semantics into Lean

    Lean 2 MIT 0 0 0 Updated May 6, 2025
  • boogie-friends Public

    Tools for interacting with Boogie

    Emacs Lisp 47 14 11 3 Updated Mar 10, 2025
  • lean-itrees Public

    A Lean implementation of Interaction Trees

    Lean 8 Apache-2.0 0 1 1 Updated Jan 13, 2025
  • coco Public

    The compiler generator Coco/R

    C# 9 5 0 0 Updated Jul 3, 2024
  • jar2bpl Public

    Translate java jar files into Boogie programs

    Java 12 MIT 1 4 0 Updated Apr 16, 2024
  • boogieamp Public

    Java parser for the Boogie intermediate verification language

    Boogie 11 2 2 0 Updated Apr 15, 2024
  • corral Public

    solver for the reachability modulo theories problem

    Boogie 60 MIT 30 37 3 Updated Sep 11, 2023
  • forro Public

    A sample verifier for a toy language built on top of Boogie

    F# 23 MIT 2 0 0 Updated Nov 24, 2022

Most used topics

Loading…