gravatar for vasil-sd

vasil-sd vasil-sd on Github

global

Languages

10 total

LanguageReposStarsGlobal
all24174196,887
Shen11473
Alloy3179
unknown43448,236
Ada13353
OCaml523,763
Shell11260,446
C++61501,345
Python10-
C10-
TeX10-

Repos

24 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-tlsfAda3645
vasil-sd/lalambda2021 on Githublalambda2021unknown3443,655
vasil-sd/ocaml-ba on Githubocaml-baOCaml28,468
vasil-sd/compgraph on GithubcompgraphAlloy1150
vasil-sd/cpp_comb_parsers on Githubcpp_comb_parsersC++1783,598
vasil-sd/plantuml-pdf-math on Githubplantuml-pdf-mathShell1353,828
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-11-05T08:03:05.528180247Z Re-sync