boogie

Here are 15 public repositories matching this topic...

codersguild / Software-Analysis-PAVT

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

analysis llvm verification sudoku-solver fuzzing dafny boogie hacktoberfest cvc4 hoare-logic cbmc z3-smt-solver z3py hacktoberfest2021 dynamic-taint-analysis uclid5 uclid

Updated Apr 9, 2023
Boogie

boogie-org / symbooglix

Star

Symbolic Execution Engine for Boogie

symbolic-execution boogie symbolic-execution-engine

Updated Dec 27, 2021
C#

ErickDevv / Gummy-Boogie-Theme

Star

A collection of themes composed with a gummy explosion of color for programming time.

dark-theme vscode-theme boogie gummy

Updated May 8, 2026
TypeScript

aztek / voogie

Star

A verification conditions generator for Boogie programs

haskell verification boogie tptp vampire verification-conditions

Updated Jan 31, 2020
Haskell

michael-emmi / bam-bam-boogieman

Star

Boogie AST Manipulator

boogie program-transformations

Updated Mar 18, 2022
Boogie

emptylambda / BLT

Star

Boogie-less-triggers

trigger blt boogie tptp verification-conditions

Updated Apr 4, 2018
Haskell

seanpm2001 / Learn-Boogie

Sponsor

Star

A repository for showcasing my knowledge of the Boogie programming language, and continuing to learn the language.

knowledge article gplv3 learn boogie md txt gpl3 bpl seanpm2001 seanpm2001-education seanpm2001-learn learn-boogie learn-boogie-lang learn-boogie-language boogie-language boogie-lang boogie-collection

Updated Sep 15, 2022
Boogie

taktoa / language-boogie

Star

A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)

haskell mirror boogie

Updated Feb 3, 2017
Haskell

seanpm2001 / SNU_2D_ProgrammingTools_IDE_Boogie

Sponsor

Star

The Boogie Programming language IDE submodule for SNU Programming Tools.

Updated Sep 15, 2022
Boogie

ChaariMahmoud / SafeWasm

Star

SafeWasm is a formal verification framework for WebAssembly (WASM) programs that translates WAT code into Boogie for reasoning with SMT solvers.

dotnet smart-contracts wasm smt boogie formal-verification z3-smt-solver

Updated Sep 18, 2026
Boogie

seanpm2001 / AI2001_Category-Source_Code-SC-Boogie

Sponsor

Star

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Boogie category for AI2001, containing Boogie programming language datasets

Updated Aug 28, 2023
R

emptylambda / mu-gie

Star

same old Boogie with a mutating twist

boogie

Updated May 10, 2018
SMT

schlug / boogie

Star

radio loop fm boogie schlug

Updated Oct 29, 2023
HTML

hengxin / formal-methods

Star

Formal Methods

coq formal-methods dafny smt boogie sat tlaplus tlaps

Updated Feb 10, 2021

boogie-digital / jmapcli

Star

jmapcli — JMAP from the command line. Fast, native macOS CLI for JMAP & Stalwart Mail Server. By Boogie. https://boogie.digital/cli/

macos cli homebrew terminal email boogie jmap stalwart jmapcli

Updated Sep 1, 2026

Add this topic to your repo

To associate your repository with the boogie topic, visit your repo's landing page and select "manage topics."

Learn more