A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)
-
Updated
Feb 3, 2017 - Haskell
#
boogie
Here are 13 public repositories matching this topic...
A verification conditions generator for Boogie programs
-
Updated
Jan 31, 2020 - Haskell
Symbolic Execution Engine for Boogie
-
Updated
Dec 27, 2021 - C#
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
The Boogie Programming language IDE submodule for SNU Programming Tools.
web-development
programming
web-ide
gplv3
ide
boogie
md
txt
snu
gpl3
snu2d-programmingtools
snu-2d
snu-programming-tools
snu-2d-programmingtools
snu-development
snu-2d-programming-tools
snuprogrammingtools
snu2dprogrammingtools
boogie-language
boogie-lang
-
Updated
Sep 15, 2022 - Boogie
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
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Boogie category for AI2001, containing Boogie programming language datasets
ai
gplv3
artificial-intelligence
dataset
r-language
boogie
md
txt
gpl3
boogie-language
boogie-lang
rmarkdown-language
ai2001
ai-2001
ai2001-dataset
ai-2001-dataset
ai2001-development
ai-2001-development
source-code-dataset
boogie-sc-dataset
-
Updated
Aug 28, 2023 - R
A collection of themes composed with a gummy explosion of color for programming time.
-
Updated
Apr 15, 2024 - TypeScript
Improve this page
Add a description, image, and links to the boogie topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boogie topic, visit your repo's landing page and select "manage topics."