gravatar for momohatt

momohatt momohatt on Github

global / japan / tokyo

Languages

9 total

LanguageReposStarsGlobalCountryLocality
all1552422,9076,9443,170
Haskell4272,2666831
Jasmin213611
unknown26203,2452,7091,148
C++14148,7262,278920
OCaml123,11210862
Coq20---
Python10---
C10---
Isabelle10---

Repos

15 total

RepoLanguageStarsRank
momohatt/hscaml on GithubhscamlHaskell135,465
momohatt/min-caml-jvm on Githubmin-caml-jvmJasmin89
momohatt/graten on GithubgratenHaskell78,439
momohatt/egison-trs on Githubegison-trsHaskell69,697
momohatt/jasmin-example on Githubjasmin-exampleJasmin511
momohatt/seccampDB on GithubseccampDBC++4207,011
momohatt/egison-sandbox on Githubegison-sandboxunknown4320,999
momohatt/cash on GithubcashOCaml27,939
momohatt/buchberger.egi on Githubbuchberger.egiunknown2661,840
momohatt/indent-parser-example on Githubindent-parser-exampleHaskell132,627

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-05-05T07:03:02.801534282Z Re-sync