- Stars
- 19 étoiles (19 étoiles)
- Forks
- 0 fork (0 fork)
- Issues indexées
- 0 issue indexée (0 issue indexée)
- issues débutant ouvertes
- 0 issue débutant ouverte (0 issue débutant ouverte)
- Dernière indexation
- 15 août 2026
- Dernier push GitHub
- 16 août 2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Langage principal
- F#
- Métriques de merge PR
- Merge moyen 2h 17m (Merge moyen 2h 17m)19 PR fusionnées en 30 j (19 PR fusionnées en 30 j)
- Labels débutant
- Aucun label débutant indexé
Aucune issue indexée ouverte trouvée pour ce dépôt.
