- Stars
- 0 Stars (0 Stars)
- Forks
- 0 Forks (0 Forks)
- Indexierte Issues
- 0 indexierte Issues (0 indexierte Issues)
- offene Einsteiger-Issues
- 0 offene Einsteiger-Issues (0 offene Einsteiger-Issues)
- Zuletzt indexiert
- 10. Juli 2026
- Letzter GitHub Push
- 22. Jan. 2026
- Contributing Guide
- Kein Contributing Guide
- Code of Conduct
- Kein Code of Conduct
- Hauptsprache
- Idris
- PR-Merge-Metriken
- PR-Metriken ausstehend (PR-Metriken ausstehend)
- Einsteiger-Labels
- Keine Einsteiger-Labels indexiert
Für dieses Repository wurden keine offenen indexierten Issues gefunden.
