Boogie
languages / Boogie17Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | boogie-org | 2 | 409 |
| 2 |  | codersguild | 1 | 15 |
| 3 |  | kframework | 1 | 5 |
| 4 |  | michael-emmi | 1 | 4 |
| 5 |  | gauravpartha | 1 | 2 |
| 6 |  | ananas-block | 1 | 1 |
| 7 |  | GreenieQwQ | 1 | 1 |
| 8 |  | Samialsayadi | 1 | 1 |
| 9 |  | LeviDean | 1 | 0 |
| 10 |  | VeriInplus | 1 | 0 |
20Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | boogie | 368 | boogie-org |
| 2 | corral | 41 | boogie-org |
| 3 | Software-Analysis-PAVT | 15 | codersguild |
| 4 | boogie-semantics | 5 | kframework |
| 5 | bam-bam-boogieman | 4 | michael-emmi |
| 6 | boogie_proofgen | 2 | gauravpartha |
| 7 | P4LTL-datasets | 1 | GreenieQwQ |
| 8 | tornado-vote | 1 | ananas-block |
| 9 | TextClassification | 1 | Samialsayadi |
| 10 | Move_Learning_Codes | 0 | Duedme |
Most popular
| Topic | Repos | Stars |
|---|---|---|
| verification | 1 | 15 |
| dynamic-taint-analysis | 1 | 15 |
| dafny | 1 | 15 |
| program-transformations | 1 | 4 |
| testing | 1 | 1 |