runtimeverification/kernel-rust-verification-spike
Feasibility spike: extracting Linux kernel Rust parsers (Binder) into LLBC via Charon, toward Lean 4 verification
¿Es runtimeverification/kernel-rust-verification-spike apto para principiantes?
Hemos visto muy pocos pull requests recientes de colaboradores externos en runtimeverification/kernel-rust-verification-spike para saber con qué frecuencia se fusionan. Ahora mismo no hay ningún issue apto para principiantes abierto; la lista de abajo muestra los demás issues que tenemos de este repositorio.
- Estrellas
- 3
- Forks
- 1
- Issues abiertos para principiantes
- 0
- Issues indexados
- 1
- Lenguaje dominante
- Lean
- Licencia
- GPL-2.0
- Último push a GitHub
- 12/8/2026
- Última indexación
- 19/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
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Cómo contribuir a runtimeverification/kernel-rust-verification-spike
- No hay guía de contribución, así que empieza por el README y por algunos pull requests fusionados hace poco para ver cómo se proponen los cambios.
- Tus contribuciones se publicarán bajo la licencia GPL-2.0 del proyecto.
- Sigue el repositorio para enterarte cuando se abra un nuevo issue apto para principiantes, o revisa los demás issues de abajo.
Cargando issues
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100