- Stars
- 10 stars (10 stars)
- Forks
- 5 forks (5 forks)
- Issues indexadas
- 5 indexado issues (5 indexado issues)
- issues iniciantes abertas
- 0 issues iniciantes abertas (0 issues iniciantes abertas)
- Última indexação
- 16 de jul. de 2026
- Último push no GitHub
- 1 de mai. de 2026
- Guia de contribuição
- Nenhum guia de contribuição
- Código de conduta
- Nenhum código de conduta
- Linguagem principal
- Rust
- Métricas de merge de PR
- Métricas PR pendentes (Métricas PR pendentes)
- Labels para iniciantes
- Nenhuma label para iniciantes indexada
runtimeverification/stable-mir-json #137 aberta 5 de mar. de 2026 · Rust · 10 stars
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantes
1 comentário0 reações0 responsáveis runtimeverification/stable-mir-json #110 aberta 23 de nov. de 2025 · Rust · 10 stars
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes
0 comentários0 reações0 responsáveis runtimeverification/stable-mir-json #109 aberta 23 de nov. de 2025 · Rust · 10 stars
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes
0 comentários0 reações0 responsáveis runtimeverification/stable-mir-json #108 aberta 23 de nov. de 2025 · Rust · 10 stars
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes
0 comentários0 reações0 responsáveis runtimeverification/stable-mir-json #106 aberta 23 de nov. de 2025 · Rust · 10 stars
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantes
1 comentário1 reação0 responsáveis 