gravatar for kino3

kino3 kino3 on Github

global / japan / tokyo

Languages

6 total

LanguageReposStarsGlobalCountryLocality
all1248445,2537,2843,331
Haskell1381,8475626
Agda7527685
Module Management System13211
TypeScript12229,9544,0501,657
HTML10---
TeX10---

Repos

12 total

RepoLanguageStarsRank
kino3/Mini-TT on GithubMini-TTHaskell382,357
kino3/PiMLTT on GithubPiMLTTAgda5482
kino3/mmix on GithubmmixModule Management System32
kino3/ASaC on GithubASaCTypeScript2259,826
kino3/world on GithubworldAgda0-
kino3/toys on GithubtoysAgda0-
kino3/web on GithubwebHTML0-
kino3/category on GithubcategoryAgda0-
kino3/luatex-ja on Githubluatex-jaTeX0-
kino3/logic-in-IS on Githublogic-in-ISAgda0-

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-08T08:37:22.974375608Z Re-sync