- Stars
- 40 Stars (40 Stars)
- Forks
- 5 Forks (5 Forks)
- Indexierte Issues
- 0 indexierte Issues (0 indexierte Issues)
- offene Einsteiger-Issues
- 0 offene Einsteiger-Issues (0 offene Einsteiger-Issues)
- Zuletzt indexiert
- 21. Juli 2026
- Letzter GitHub Push
- 17. Mai 2016
- Contributing Guide
- Kein Contributing Guide
- Code of Conduct
- Kein Code of Conduct
- Hauptsprache
- OCaml
- 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.
