gravatar for momohatt

momohatt momohatt on Github

global / japan / tokyo

Languages

9 total

LanguageReposStarsGlobalCountryLocality
all1556431,5767,0013,149
Haskell4282,2506931
Jasmin216511
unknown26222,3382,8681,204
C++14159,8272,390952
OCaml123,23411163
Coq20---
Python10---
C10---
Isabelle10---

Repos

15 total

RepoLanguageStarsRank
momohatt/hscaml on GithubhscamlHaskell135,566
momohatt/min-caml-jvm on Githubmin-caml-jvmJasmin108
momohatt/graten on GithubgratenHaskell87,839
momohatt/jasmin-example on Githubjasmin-exampleJasmin610
momohatt/egison-trs on Githubegison-trsHaskell69,937
momohatt/seccampDB on GithubseccampDBC++4223,444
momohatt/egison-sandbox on Githubegison-sandboxunknown4359,358
momohatt/cash on GithubcashOCaml28,217
momohatt/buchberger.egi on Githubbuchberger.egiunknown2736,235
momohatt/indent-parser-example on Githubindent-parser-exampleHaskell133,559

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-01T08:00:33.590523446Z Re-sync