Repos by kino3

kino3 / repos

12 repos

«12»
RepoLanguageStarsRank
kino3/Mini-TT on GithubMini-TTHaskell382,361
kino3/PiMLTT on GithubPiMLTTAgda5482
kino3/mmix on GithubmmixModule Management System32
kino3/ASaC on GithubASaCTypeScript2263,016
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-