gravatar for fu-dietersheim

fu-dietersheim fu-dietersheim on Github

global

Languages

4 total

LanguageReposStarsGlobal
all830633,585
Isabelle41141
C1966,233
unknown17195,213
HTML23237,771

Repos

8 total

RepoLanguageStarsRank
fu-dietersheim/Blockchain on GithubBlockchainIsabelle1140
fu-dietersheim/fully_verified_jvm on Githubfully_verified_jvmC986,118
fu-dietersheim/hol-falso on Githubhol-falsounknown7215,325
fu-dietersheim/fu-dietersheim.github.io on Githubfu-dietersheim.github.ioHTML3217,890
fu-dietersheim/theology on GithubtheologyIsabelle0-
fu-dietersheim/verifuck on GithubverifuckIsabelle0-
fu-dietersheim/isabelle-lol on Githubisabelle-lolIsabelle0-
fu-dietersheim/wholesome-blog on Githubwholesome-blogHTML0-

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-01T15:48:04.899223402Z Re-sync