- Stars
- 10 Stars (10 Stars)
- Forks
- 5 Forks (5 Forks)
- Indexierte Issues
- 5 indexierte Issues (5 indexierte Issues)
- offene Einsteiger-Issues
- 0 offene Einsteiger-Issues (0 offene Einsteiger-Issues)
- Zuletzt indexiert
- 16. Juli 2026
- Letzter GitHub Push
- 1. Mai 2026
- Contributing Guide
- Kein Contributing Guide
- Code of Conduct
- Kein Code of Conduct
- Hauptsprache
- Rust
- PR-Merge-Metriken
- PR-Metriken ausstehend (PR-Metriken ausstehend)
- Einsteiger-Labels
- Keine Einsteiger-Labels indexiert
runtimeverification/stable-mir-json #137 5. März 2026 geöffnet · Rust · 10 Stars
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
1 Kommentar0 Reaktionen0 zugewiesene Personen runtimeverification/stable-mir-json #110 23. Nov. 2025 geöffnet · Rust · 10 Stars
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen runtimeverification/stable-mir-json #109 23. Nov. 2025 geöffnet · Rust · 10 Stars
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen runtimeverification/stable-mir-json #108 23. Nov. 2025 geöffnet · Rust · 10 Stars
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen runtimeverification/stable-mir-json #106 23. Nov. 2025 geöffnet · Rust · 10 Stars
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
1 Kommentar1 Reaktion0 zugewiesene Personen 