Boogie (@boogie-org)
Guthub

boogie-org

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    751
  • Global Org. Rank 18,566 (Top 6 %)
  • Registered over 9 years ago
  • Most used languages
    C#
         33.3 %
    Boogie     26.7 %
    F#
         6.7 %
    TypeScript
         6.7 %
    Python
         6.7 %
    Java
         6.7 %
    Dafny     6.7 %
    Emacs Lisp
         6.7 %

Top repositories

1

boogie

Boogie
Boogie
509
star
2

corral

solver for the reachability modulo theories problem
Boogie
58
star
3

boogie-friends

Tools for interacting with Boogie
Emacs Lisp
45
star
4

symdiff

SymDiff-Differential-Program-Verifier
Boogie
29
star
5

symbooglix

Symbolic Execution Engine for Boogie
C#
28
star
6

forro

A sample verifier for a toy language built on top of Boogie
F#
21
star
7

sdvbench

Microsoft Static Driver Verifier Benchmarks
C#
14
star
8

jar2bpl

Translate java jar files into Boogie programs
Java
12
star
9

boogieamp

Java parser for the Boogie intermediate verification language
Boogie
11
star
10

coco

The compiler generator Coco/R
C#
7
star
11

boogie-docs

Documentation for the Boogie IVL and related technologies
Python
7
star
12

bytecodetranslator

C#
6
star
13

BoogieV

A verified intermediate verification language
Dafny
2
star
14

boogie-vscode

VS Code Extension for Boogie
TypeScript
2
star
15

boogie-partners

Repository containing the old boogie-partners repo
C#
2
star
16

verisol

A formal verifier and analysis engine for Solidity Smart Contracts
1
star