Open Hub
Open Hub

 Settings |  Report Duplicate

2
I Use This!
Activity Not Available

Related Projects

Analyzed 5 months ago. based on code collected 5 months ago.

Projects Similar to seL4

P

Pistachio   (Compare Project)

Activity Not Available

Mostly written in C++

License: BSD-3-Clause


 

F

F9 Microkernel   (Compare Project)

Activity Not Available

Mostly written in C

License: BSD_License


 

F

Fiasco   (Compare Project)

Activity Not Available

Mostly written in C

License: gpl


 

C

codezero   (Compare Project)

Activity Not Available

Mostly written in C

License: GPL2


 

V

Void Safety Formalization   (Compare Project)

Activity Not Available

License: CC_BY-NC-SA_4-0


 
img avatar

Haiku   (Compare Project)

Activity Not Available

Mostly written in C++

License: mit


 
img avatar

HelenOS   (Compare Project)

Activity Not Available

Mostly written in shell script

License: BSD-3-Clause


 
img avatar

Jari OS   (Compare Project)

Activity Not Available

Mostly written in C

License: GNU_Free_Documentation_License, gpl, gpl3, lgpl3, lgpl


 
img avatar

SharpOS   (Compare Project)

Activity Not Available

Mostly written in C#

License: gpl3


 
img avatar

MOSA Project   (Compare Project)

Activity Not Available

Mostly written in C#

License: BSD_License


 

People who use seL4 also use:

Open Hub requires more users for this project before we can determine project relationships.

This list is updated nightly.