gravatar for ashinkarov

ashinkarov ashinkarov on Github

global / united kingdom / united kingdom

Languages

14 total

LanguageReposStarsGlobalCountryLocality
all2579257,2542,036447
Shell16571,7345322
Lua1335,06314446
OCaml2308486110
Python124138,6244,550966
APL1191522
Agda713152213
C51060,3041,620444
Vim Script1310,21337662
TeX1225,076941126
Rust1177,7752,551651
Dockerfile10---
JavaScript10---
unknown10---
HTML10---

Repos

25 total

RepoLanguageStarsRank
ashinkarov/i3-extras on Githubi3-extrasShell6571,707
ashinkarov/nvim-agda on Githubnvim-agdaLua335,875
ashinkarov/heh on GithubhehOCaml301,223
ashinkarov/fbless on GithubfblessPython24184,052
ashinkarov/cnn-in-apl on Githubcnn-in-aplAPL1917
ashinkarov/agda-array on Githubagda-arrayAgda8300
ashinkarov/trie on GithubtrieC5132,983
ashinkarov/Bob on GithubBobC3201,415
ashinkarov/dotfiles on GithubdotfilesVim Script314,318
ashinkarov/2021-extraction-paper on Github2021-extraction-paperAgda3599

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-20T22:03:42.575135703Z Re-sync