runtimeverification/kompass
K semantics for Solana
¿Es runtimeverification/kompass apto para principiantes?
Hemos visto muy pocos pull requests recientes de colaboradores externos en runtimeverification/kompass 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
- 16
- Forks
- 0
- Issues abiertos para principiantes
- 0
- Issues indexados
- 1
- Lenguaje dominante
- Rust
- Licencia
- Sin datos de licencia
- Último push a GitHub
- 28/5/2026
- Última indexación
- 21/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/kompass
- 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.
- 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
-
Investigate Solana execution modelQuizá libre de nuevo @gtrepta la tomó hace 558 días y no hay ningún pull request abierto. Abierto
runtimeverification/kompass#1 · 2 comentarios · 1 asignado ·