gravatar for mmhelloworld

mmhelloworld mmhelloworld on Github

global / united states / new york

Languages

7 total

LanguageReposStarsGlobalCountryLocality
all1352279,71812,0971,138
Idris5472511
Frege225621
Java22060,1885,564436
Dockerfile1411,8891,50791
HTML11827,13063,1425,392
Haskell10---
unknown10---

Repos

13 total

RepoLanguageStarsRank
mmhelloworld/idris-jvm on Githubidris-jvmIdris4634
mmhelloworld/hello-play-frege on Githubhello-play-fregeFrege199
mmhelloworld/akka-tutorial-frege on Githubakka-tutorial-fregeJava10128,139
mmhelloworld/jvm-assembler on Githubjvm-assemblerJava10127,386
mmhelloworld/fregelet on GithubfregeletFrege621
mmhelloworld/idris-spring-boot-example on Githubidris-spring-boot-exampleIdris6275
mmhelloworld/docker-idris on Githubdocker-idrisDockerfile413,904
mmhelloworld/idris-jvm-auto-ffi-sample on Githubidris-jvm-auto-ffi-sampleIdris3436
mmhelloworld/mmhelloworld.github.io on Githubmmhelloworld.github.ioHTML11,405,826
mmhelloworld/idris-jvm-hs on Githubidris-jvm-hsHaskell0-

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-04-15T16:30:47.308820917Z Re-sync