gravatar for thalerjonathan

thalerjonathan thalerjonathan on Github

global / austria / hohenems

Languages

9 total

LanguageReposStarsGlobalCountryLocality
all2387319,7421,3091
Idris4316911
Limbo130811
Haskell6143,312171
JavaScript28273,4567682
Rust3346,6892051
HTML31875,9331,1181
Erlang10---
C++20---
Java10---

Repos

23 total

RepoLanguageStarsRank
thalerjonathan/phd on GithubphdLimbo308
thalerjonathan/gloss-idris on Githubgloss-idrisIdris22112
thalerjonathan/chimera on GithubchimeraHaskell135,582
thalerjonathan/Towards-DDD-Haskell on GithubTowards-DDD-HaskellJavaScript8334,980
thalerjonathan/glfw-idris-st on Githubglfw-idris-stIdris5343
thalerjonathan/gl-idris-b on Githubgl-idris-bIdris4400
thalerjonathan/rust-ddd on Githubrust-dddRust294,267
thalerjonathan/rustyraytracer on GithubrustyraytracerRust1201,040
thalerjonathan/haskell-sir on Githubhaskell-sirHaskell133,974
thalerjonathan/haskell-stm-sugarscape on Githubhaskell-stm-sugarscapeHTML11,312,017

Badges

Get your badge to use on GitHub or websites using the code below

GlobalCountryLocality

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays country rankings for all languages plus top two languages by stars

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-11-10T06:53:22.919731509Z Re-sync