- Star
- 1169 stelle (1169 stelle)
- Fork
- 98 fork (98 fork)
- Issue indicizzate
- 39 issue indicizzate (39 issue indicizzate)
- issue per principianti aperte
- 39 issue per principianti aperte (39 issue per principianti aperte)
- Ultima indicizzazione
- 14 ago 2026
- Ultimo push GitHub
- 24 lug 2026
- Guida contributori
- Nessuna guida contributori
- Linguaggio principale
- Standard ML
- Metriche merge PR
- Metriche PR in attesa (Metriche PR in attesa)
- Label per principianti
- help wantedgood first issue
Nessuna issue indicizzata chiusa trovata per questo repository.
