gravatar for au-ts

au-ts au-ts on Github

global

Languages

10 total

LanguageReposStarsGlobal
all23313127,337
Isabelle11587
C1115010,007
Rust1261,917
unknown22734,435
SCSS1149,856
Python30-
Shell10-
JavaScript10-
Zig10-
SMT10-

Repos

23 total

RepoLanguageStarsRank
au-ts/cogent on GithubcogentIsabelle1587
au-ts/lionsos on GithublionsosC8616,930
au-ts/libvmm on GithublibvmmC2740,151
au-ts/sddf on GithubsddfC2246,366
au-ts/microkit_tutorial on Githubmicrokit_tutorialC7101,136
au-ts/ipbench on GithubipbenchC3175,611
au-ts/camkes_to_microkit_guide on Githubcamkes_to_microkit_guideunknown2575,190
au-ts/libgdb on GithublibgdbC2219,836
au-ts/gordian-smt-profiler on Githubgordian-smt-profilerRust292,776
au-ts/lionsos_docs on Githublionsos_docsSCSS128,496

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-11-01T03:48:39.355795241Z Re-sync