![gravatar for utwente-fmt](https://github.com/utwente-fmt.png)
utwente-fmt ![utwente-fmt on Github](/img/github-icon.png)
global / netherlands / enschedeLanguages
13 total
Language | Repos | Stars | Global | Country | Locality | all | 56 | 195 | 172,611 | 2,382 | 15 |
C | 12 | 104 | 12,431 | 148 | 2 |
Scala | 3 | 51 | 2,147 | 48 | 1 |
C++ | 2 | 12 | 75,748 | 809 | 14 |
Java | 10 | 11 | 97,408 | 959 | 4 |
Python | 4 | 5 | 417,079 | 4,092 | 53 |
Kotlin | 1 | 5 | 27,668 | 330 | 4 |
R | 4 | 4 | 23,069 | 346 | 3 |
unknown | 10 | 2 | 703,693 | 4,716 | 33 |
Coq | 2 | 1 | 1,349 | 18 | 1 |
JavaScript | 2 | 0 | - | - | - |
TypeScript | 1 | 0 | - | - | - |
Haskell | 2 | 0 | - | - | - |
HTML | 3 | 0 | - | - | - |
Repos
56 total
| Repo | Language | Stars | Rank | ![utwente-fmt/ltsmin on Github](/img/github-icon.png) | ltsmin | C | 51 | 24,370 |
![utwente-fmt/vercors on Github](/img/github-icon.png) | vercors | Scala | 51 | 2,835 |
![utwente-fmt/sylvan on Github](/img/github-icon.png) | sylvan | C | 40 | 29,206 |
![utwente-fmt/dftcalc on Github](/img/github-icon.png) | dftcalc | C++ | 12 | 96,484 |
![utwente-fmt/buddy on Github](/img/github-icon.png) | buddy | C | 9 | 86,385 |
![utwente-fmt/UrPal on Github](/img/github-icon.png) | UrPal | Kotlin | 5 | 38,126 |
![utwente-fmt/DFTRES on Github](/img/github-icon.png) | DFTRES | Java | 4 | 260,121 |
![utwente-fmt/jsylvan on Github](/img/github-icon.png) | jsylvan | Java | 3 | 370,114 |
![utwente-fmt/ppopp16 on Github](/img/github-icon.png) | ppopp16 | Python | 3 | 889,025 |
![utwente-fmt/Rabin-SPIN2017 on Github](/img/github-icon.png) | Rabin-SPIN2017 | R | 3 | 44,006 |
Badges
Get your badge to use on GitHub or websites using the code below
Global
Displays global rankings for all languages plus top two languages by stars
Country
Displays country rankings for all languages plus top two languages by stars
Locality
Displays locality rankings for all languages plus top two languages by stars
Last updated: 2024-06-24T07:14:03.457023104Z Re-sync