seL4

global

Languages

13 total

Language	Repos	Stars	Global
all	54	5,939	8,453
C	20	4,942	363
Isabelle	2	604	2
Python	5	152	36,648
unknown	12	103	23,477
Rust	3	68	7,693
Haskell	1	34	2,008
Shell	2	14	36,800
CMake	3	11	1,531
C++	1	6	120,815
HTML	2	3	232,432
Makefile	1	1	33,267
Standard ML	1	1	990
Perl	1	0	-

Repos

54 total

Repo	Language	Stars	Rank
seL4	C	4,537	344
l4v	Isabelle	488	3
isabelle	Isabelle	116	8
rust-sel4	Rust	65	10,185
microkit	Python	60	89,073
seL4_libs	C	51	23,898
util_libs	C	51	23,897
sel4-tutorials	Python	50	103,712
refos	C	49	24,653
seL4_tools	C	41	28,129

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

<a href="https://stardev.io/developers/seL4"><img alt="Check out seL4's profile on stardev.io" src="https://stardev.io/developers/seL4/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-04-24T03:25:57.730566898Z Re-sync