Boogie
languages / Boogie20Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | boogie-org | 2 | 448 |
2 | ![]() | codersguild | 1 | 17 |
3 | ![]() | kframework | 1 | 5 |
4 | ![]() | michael-emmi | 1 | 4 |
5 | ![]() | GreenieQwQ | 1 | 2 |
6 | ![]() | gauravpartha | 1 | 2 |
7 | ![]() | Samialsayadi | 1 | 2 |
8 | ![]() | ananas-block | 1 | 1 |
9 | ![]() | emptylambda | 2 | 1 |
10 | ![]() | LeviDean | 1 | 0 |
23Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | boogie | 400 | boogie-org |
![]() | 2 | corral | 48 | boogie-org |
![]() | 3 | Software-Analysis-PAVT | 17 | codersguild |
![]() | 4 | boogie-semantics | 5 | kframework |
![]() | 5 | bam-bam-boogieman | 4 | michael-emmi |
![]() | 6 | P4LTL-datasets | 2 | GreenieQwQ |
![]() | 7 | boogie_proofgen | 2 | gauravpartha |
![]() | 8 | TextClassification | 2 | Samialsayadi |
![]() | 9 | tornado-vote | 1 | ananas-block |
![]() | 10 | BoogieCollection | 1 | emptylambda |
Most popular
Topic | Repos | Stars |
---|---|---|
verification | 1 | 17 |
dynamic-taint-analysis | 1 | 17 |
dafny | 1 | 17 |
program-transformations | 1 | 4 |
testing | 1 | 1 |