Top JetBrains MPS repos
languages / JetBrains MPS / global482 repos
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
1 | MPS | 1,510 | JetBrains | |
2 | mbeddr.core | 224 | mbeddr | |
3 | OPTI | 191 | jonathancurrie | |
4 | xjsnark | 179 | akosba | |
5 | CyLP | 179 | coin-or | |
6 | psi | 123 | eth-sri | |
7 | All-About-TeX | 117 | zongpingding | |
8 | MPS-extensions | 81 | JetBrains | |
9 | modelix | 66 | modelix | |
10 | zkmbs | 52 | pag-crypto |