SeL4
por star
Aplicación
The seL4 microkernel
Plugins Filament, paquetes Laravel y starter kits open source mantenidos activamente. Todo MIT, con releases para v3, v4 y v5 cuando aplique.
The seL4 microkernel
Run AI coding agents in secure, isolated microVMs. Sub-125ms boot times, real hardware isolation.
Todos los paquetes tienen CI y tests Pest; las issues para principiantes están marcadas con good first issue.
Nueva versión disponible.