seL4

I Use This!

Very High Activity

Users

Analyzed about 19 hours ago. based on code collected 2 days ago.

Contributes to OpenSolaris

Contributes to HelenOS

Contributes to gem5

Contributes to NixOS as Sophie Taylor

Contributes to compensated as Sophie Taylor

Contributes to microG Services Core (GmsCore) as Sophie Taylor