seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie

The Boogie Programming language IDE submodule for SNU Programming Tools.

Language: Boogie - Size: 630 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

seanpm2001/Learn-Boogie

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

Language: Boogie - Size: 591 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

michael-emmi/bam-bam-boogieman 📦

Boogie AST Manipulator

Language: Boogie - Size: 815 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 4 - Forks: 6

ErickDevv/Gummy-Boogie-Theme

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

Language: TypeScript - Size: 4.19 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 9 - Forks: 0

emptylambda/mu-gie

same old Boogie with a mutating twist

Language: SMT - Size: 3.89 MB - Last synced: 5 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

emptylambda/BLT

Boogie-less-triggers

Language: Haskell - Size: 3.07 MB - Last synced: 5 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

boogie-org/symbooglix

Symbolic Execution Engine for Boogie

Language: C# - Size: 2.26 MB - Last synced: 9 days ago - Pushed: over 2 years ago - Stars: 27 - Forks: 4

schlug/boogie

Language: HTML - Size: 0 Bytes - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 2

codersguild/Software-Analysis-PAVT

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

Language: Boogie - Size: 21.9 MB - Last synced: 7 months ago - Pushed: about 1 year ago - Stars: 32 - Forks: 6

seanpm2001/AI2001_Category-Source_Code-SC-Boogie

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

Language: R - Size: 2.46 MB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 2 - Forks: 1

aztek/voogie

A verification conditions generator for Boogie programs

Language: Haskell - Size: 516 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 3 - Forks: 0

hengxin/formal-methods

Formal Methods

Size: 3.65 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

taktoa/language-boogie

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

Language: Haskell - Size: 5.49 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 2 - Forks: 0