gravatar for kolya-vasiliev

kolya-vasiliev kolya-vasiliev on Github

global

Languages

4 total

LanguageReposStarsGlobal
all939521,752
Isabelle22221
Coq516241
TeX1136,695
Jupyter Notebook10-

Repos

9 total

RepoLanguageStarsRank
kolya-vasiliev/concrete-semantics on Githubconcrete-semanticsIsabelle2222
kolya-vasiliev/logical-foundations-2018 on Githublogical-foundations-2018Coq9517
kolya-vasiliev/programming-language-foundations-2018 on Githubprogramming-language-foundations-2018Coq4878
kolya-vasiliev/verified-functional-algorithms-2019 on Githubverified-functional-algorithms-2019Coq31,089
kolya-vasiliev/topoi on GithubtopoiTeX152,414
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

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

Preview

Last updated: 2024-06-01T19:12:30.931489661Z Re-sync