seL4

global

This record has been archived

Languages

14 total

Language	Repos	Stars	Global
all	53	5,671	-
C	20	4,781	-
Isabelle	2	581	-
Python	5	126	-
unknown	12	102	-
Haskell	1	32	-
Rust	3	14	-
CMake	3	13	-
Shell	1	12	-
C++	1	5	-
Promela	1	3	-
Makefile	1	1	-
Standard ML	1	1	-
HTML	1	0	-
Perl	1	0	-

Repos

53 total

Repo	Language	Stars	Rank
seL4	C	4,392	-
l4v	Isabelle	468	-
isabelle	Isabelle	113	-
util_libs	C	49	-
refos	C	48	-
sel4-tutorials	Python	48	-
seL4_libs	C	47	-
seL4_tools	C	38	-
microkit	Python	38	-
capdl	Haskell	32	-

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: 2023-11-11T06:02:41.940814771Z Re-sync