- Stars
- 1 169 étoiles (1 169 étoiles)
- Forks
- 98 forks (98 forks)
- Issues indexées
- 39 issues indexées (39 issues indexées)
- issues débutant ouvertes
- 39 issues débutant ouvertes (39 issues débutant ouvertes)
- Dernière indexation
- 14 août 2026
- Dernier push GitHub
- 24 juil. 2026
- Guide de contribution
- Aucun guide de contribution
- Langage principal
- Standard ML
- Métriques de merge PR
- Métriques PR en attente (Métriques PR en attente)
- Labels débutant
- help wantedgood first issue
Aucune issue indexée fermée trouvée pour ce dépôt.
