gravatar for vasil-sd

vasil-sd vasil-sd on Github

global

Languages

9 total

LanguageReposStarsGlobal
all23174182,472
Shen11473
Alloy3179
unknown43409,676
Ada13339
OCaml523,610
Shell11245,912
C++61464,625
C10-
TeX10-

Repos

23 total

RepoLanguageStarsRank
vasil-sd/shen-libs on Githubshen-libsShen1473
vasil-sd/engineering-sw-hw-model-checking-letures on Githubengineering-sw-hw-model-checking-leturesAlloy168
vasil-sd/ada-tlsf on Githubada-tlsfAda3609
vasil-sd/lalambda2021 on Githublalambda2021unknown3391,272
vasil-sd/ocaml-ba on Githubocaml-baOCaml28,130
vasil-sd/compgraph on GithubcompgraphAlloy1130
vasil-sd/cpp_comb_parsers on Githubcpp_comb_parsersC++1713,128
vasil-sd/plantuml-pdf-math on Githubplantuml-pdf-mathShell1328,677
vasil-sd/rendezvous-protocol on Githubrendezvous-protocolC++0-
vasil-sd/ocaml-bits on Githubocaml-bitsC0-

Badges

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

Global

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-03-22T01:23:12.634842582Z Re-sync