gravatar for namin

namin namin on Github

global / united states / cambridge

Languages

25 total

Repos

86 total

RepoLanguageStarsRank
namin/inc on GithubincScheme88314
namin/llm-verified-with-monte-carlo-tree-search on Githubllm-verified-with-monte-carlo-tree-searchPython16935,441
namin/dot on Githubdotunknown15018,118
namin/io.livecode.ch on Githubio.livecode.chHTML1346,560
namin/logically on GithublogicallyClojure1131,160
namin/staged-miniKanren on Githubstaged-miniKanrenRacket11359
namin/unsound on GithubunsoundHTML7310,902
namin/metaprogramming on GithubmetaprogrammingScala552,508
namin/pink on GithubpinkScheme51169
namin/propagators on GithubpropagatorsScheme49176

Badges

Get your badge to use on GitHub or websites using the code below

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-03-11T04:33:29.680048108Z Re-sync