← Back to Discover
au-ts

au-ts/lionsos

CBSD-2-Clauseactive
68Health

A secure, fast, and adaptable OS based on the seL4 microkernel

Stars239
Forks38
Open Issues94
Contributors38
Last Push0d ago

Health Breakdown

Activity
25
Community
13
Maintenance
5
Popularity
25
View on GitHub ↗Issues (94) ↗Pull Requests ↗

Should you contribute to au-ts/lionsos?

au-ts/lionsos has a FoundDev health score of 68/100, which means activity is steady but not booming. Worth contributing to if the project is in your wheelhouse, but expect slower review cycles than a top-tier repo.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in C, so prior C experience will shorten ramp-up.

Licensed under BSD-2-Clause, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

au-ts68

A secure, fast, and adaptable OS based on the seL4 microkernel

active
23938 contributors94 issues
0d ago

More C repos

FreeRDP
FreeRDP/FreeRDP
FreeRDP is a free remote desktop protocol library and clients
13.3k100
apache
apache/nuttx-apps
Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS
43796
goatshriek
goatshriek/stumpless
a fast and feature-rich logging library for C
52095