gravatar for LVPGroup

LVPGroup LVPGroup on Github

global / china / hangzhou

Languages

4 total

LanguageReposStarsGlobalCountryLocality
all725709,10151,7353,855
Isabelle3153011
unknown210139,37611,223854
Web Ontology Language10---
HTML10---

Repos

7 total

RepoLanguageStarsRank
LVPGroup/fpp on GithubfppIsabelle1138
LVPGroup/arinc653model on Githubarinc653modelunknown9174,262
LVPGroup/TimSort on GithubTimSortIsabelle483
LVPGroup/separationkernel on Githubseparationkernelunknown12,379,131
LVPGroup/OWLPOS on GithubOWLPOSWeb Ontology Language0-
LVPGroup/lvpgroup.github.io on Githublvpgroup.github.ioHTML0-
LVPGroup/FLAT on GithubFLATIsabelle0-

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-06-10T14:45:37.762119505Z Re-sync