Propriétaire · seL4

seL4

Dépôts open source suivis de seL4, triés par étoiles.

2 dépôts

#1
seL4 ↗@seL4C
Le micro-noyau seL4
★ 5 730+8Évolution des étoiles sur les 7 derniers jours
#2
l4v ↗@seL4Isabelle
Spécification et preuves de seL4
★ 636+4Évolution des étoiles sur les 7 derniers jours