Boogie
languages / Boogie30Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | boogie-org | 3 | 548 | |
2 | codersguild | 1 | 34 | |
3 | ananas-block | 1 | 5 | |
4 | kframework | 1 | 5 | |
5 | michael-emmi | 1 | 4 | |
6 | gauravpartha | 1 | 3 | |
7 | S3L-official | 1 | 2 | |
8 | Samialsayadi | 1 | 2 | |
9 | GreenieQwQ | 1 | 2 | |
10 | pontem-network | 1 | 2 |
34Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
1 | boogie | 484 | boogie-org | |
2 | corral | 54 | boogie-org | |
3 | Software-Analysis-PAVT | 34 | codersguild | |
4 | boogieamp | 10 | boogie-org | |
5 | tornado-vote | 5 | ananas-block | |
6 | boogie-semantics | 5 | kframework | |
7 | bam-bam-boogieman | 4 | michael-emmi | |
8 | boogie_proofgen | 3 | gauravpartha | |
9 | CT_Prover | 2 | S3L-official | |
10 | P4LTL-datasets | 2 | GreenieQwQ |