Top Boogie repos
languages / Boogie / global34 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 21 | BasicCoin-Move | 0 | md-sameerparmar |
| 22 | benchmark_tests | 0 | ShlKan |
| 23 | tornado-vote | 0 | DoubleBlindSubmission |
| 24 | tesis | 0 | patosabogal |
| 25 | aptos_move | 0 | Caruso33 |
| 26 | move-coin | 0 | pwollemi |
| 27 | BTL_Scada | 0 | CongDangLuu |
| 28 | cachet | 0 | PLSysSec |
| 29 | sdvBenchmarks | 0 | jayu9596 |
| 30 | experiments | 0 | jayu9596 |