gravatar for catalin-hritcu

catalin-hritcu catalin-hritcu on Github

global / germany / bochum

Languages

7 total

LanguageReposStarsGlobalCountryLocality
all11141,029,90034,041110
F*1121721
Coq12811322
Shell20---
unknown10---
Makefile40---
JavaScript10---
SMT10---

Repos

11 total

RepoLanguageStarsRank
catalin-hritcu/fstar-course on Githubfstar-courseF*1221
catalin-hritcu/exos-ssr on Githubexos-ssrCoq21,507
catalin-hritcu/mintmenu-arch-old on Githubmintmenu-arch-oldShell0-
catalin-hritcu/fstar-users-on-github on Githubfstar-users-on-githubunknown0-
catalin-hritcu/fstar-course-bucharest2016 on Githubfstar-course-bucharest2016Makefile0-
catalin-hritcu/fstar-course-nancy2017 on Githubfstar-course-nancy2017Makefile0-
catalin-hritcu/fstar-course-paris2017 on Githubfstar-course-paris2017Makefile0-
catalin-hritcu/fstar-course-saarbrucken2015 on Githubfstar-course-saarbrucken2015Makefile0-
catalin-hritcu/arch-fsharp on Githubarch-fsharpShell0-
catalin-hritcu/arch-ulex on Githubarch-ulexJavaScript0-

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-05-19T17:39:38.840573584Z Re-sync