gravatar for kolya-vasiliev

kolya-vasiliev kolya-vasiliev on Github

global

Languages

4 total

LanguageReposStarsGlobal
all939523,606
Isabelle22221
Coq516241
TeX1136,902
Jupyter Notebook10-

Repos

9 total

RepoLanguageStarsRank
kolya-vasiliev/concrete-semantics on Githubconcrete-semanticsIsabelle2222
kolya-vasiliev/logical-foundations-2018 on Githublogical-foundations-2018Coq9518
kolya-vasiliev/programming-language-foundations-2018 on Githubprogramming-language-foundations-2018Coq4883
kolya-vasiliev/verified-functional-algorithms-2019 on Githubverified-functional-algorithms-2019Coq31,093
kolya-vasiliev/topoi on GithubtopoiTeX152,670
kolya-vasiliev/software-foundations on Githubsoftware-foundationsCoq0-
kolya-vasiliev/tensorflow-specialization-dl.ai on Githubtensorflow-specialization-dl.aiJupyter Notebook0-
kolya-vasiliev/vqc-rus on Githubvqc-rusCoq0-
kolya-vasiliev/isabelle_sc on Githubisabelle_scIsabelle0-

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-06-01T19:12:30.931489661Z Re-sync