gravatar for seL4

seL4 seL4 on Github

global

Languages

13 total

LanguageReposStarsGlobal
all556,2668,590
C205,158376
Isabelle26253
Rust42094,299
unknown1210425,657
Python59457,739
Haskell1352,006
Shell21734,071
CMake3131,455
C++16129,686
HTML23252,517
Dockerfile1148,090
Standard ML111,033
Perl10-

Repos

55 total

RepoLanguageStarsRank
seL4/seL4 on GithubseL4C4,731349
seL4/l4v on Githubl4vIsabelle5113
seL4/rust-sel4 on Githubrust-sel4Rust1197,500
seL4/isabelle on GithubisabelleIsabelle1148
seL4/microkit on GithubmicrokitRust849,580
seL4/util_libs on Githubutil_libsC5523,959
seL4/sel4-tutorials on Githubsel4-tutorialsPython52111,075
seL4/seL4_libs on GithubseL4_libsC5225,030
seL4/refos on GithubrefosC4926,188
seL4/seL4_tools on GithubseL4_toolsC4328,803

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-10-30T09:45:29.062136778Z Re-sync