Repos by utwente-fmt
utwente-fmt / repos
56 repos
| Repo | Language | Stars | Rank | | vercors | Scala | 54 | 2,710 |
| ltsmin | C | 52 | 24,733 |
| sylvan | C | 41 | 29,509 |
| dftcalc | C++ | 12 | 100,021 |
| buddy | C | 9 | 88,920 |
| UrPal | Kotlin | 5 | 39,609 |
| DFTRES | Java | 4 | 264,567 |
| jsylvan | Java | 3 | 376,313 |
| ppopp16 | Python | 3 | 926,932 |
| Rabin-SPIN2017 | R | 3 | 45,377 |