gravatar for au-ts

au-ts au-ts on Github

global

Languages

7 total

LanguageReposStarsGlobal
all19185167,916
Isabelle11557
C102928,504
unknown211,650,748
Shell10-
JavaScript10-
Python30-
SCSS10-

Repos

19 total

RepoLanguageStarsRank
au-ts/cogent on GithubcogentIsabelle1557
au-ts/libvmm on GithublibvmmC1749,642
au-ts/ipbench on GithubipbenchC3156,061
au-ts/lionsos on GithublionsosC3154,934
au-ts/sddf on GithubsddfC2200,414
au-ts/microkit_tutorial on Githubmicrokit_tutorialC2197,531
au-ts/camkes_to_microkit_guide on Githubcamkes_to_microkit_guideunknown1946,734
au-ts/libnfs on GithublibnfsC1284,410
au-ts/libgdb on GithublibgdbC1281,533
au-ts/confluence-to-dokuwiki on Githubconfluence-to-dokuwikiPython0-

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-03-28T21:45:07.405538297Z Re-sync