seL4/website
Ver en GitHubThe seL4.systems website
- Estrellas
- 3
- Forks
- 16
- Issues abiertos para principiantes
- 0
- Issues indexados
- 5
- Merge medio
- 1 d 20 h
- PR fusionados (30 d)
- 15
- Lenguaje dominante
- HTML
- Licencia
- Sin datos de licencia
- Último push a GitHub
- 19/9/2026
- Última indexación
- 20/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
5 issues abiertos indexados
Cargando issues
-
Dificultad 4/5 3-5 días Aptitud para principiantes 30/100
-
Blog Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 28/100