gravatar for ShlKan

ShlKan ShlKan on Github

global / germany / germany

Languages

5 total

LanguageReposStarsGlobalCountryLocality
all815,306,86092,16529,577
Standard ML11662167
unknown40---
TeX10---
Boogie10---
Isabelle10---

Repos

8 total

RepoLanguageStarsRank
ShlKan/k5.0 on Githubk5.0Standard ML1958
ShlKan/machine-checked.github.io on Githubmachine-checked.github.iounknown0-
ShlKan/kanshuanglong.github.io on Githubkanshuanglong.github.ioTeX0-
ShlKan/licence on Githublicenceunknown0-
ShlKan/benchmark_tests on Githubbenchmark_testsBoogie0-
ShlKan/certified-str-solver on Githubcertified-str-solverIsabelle0-
ShlKan/damage-pictures-hochspeyer on Githubdamage-pictures-hochspeyerunknown0-
ShlKan/smt-proof on Githubsmt-proofunknown0-

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-04-19T09:48:42.994535029Z Re-sync