purefunctor/purescript-iris
Vedi su GitHubLanguage implementation for PureScript
- Stelle
- 102
- Fork
- 11
- Issue aperte per principianti
- 0
- Issue indicizzate
- 10
- Merge medio
- 3h 44m
- PR unite (30g)
- 134
- Lingua principale
- Rust
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 20/9/2026
- Ultima indicizzazione
- 20/9/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
5 issue aperte indicizzate
Caricamento delle issue
-
tooling
Difficoltà 4/5 3-5 giorni Idoneità per principianti 58/100
purefunctor/purescript-iris#507 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
purefunctor/purescript-iris#264 ·
-
checking semantics
purefunctor/purescript-iris#147 · 1 assegnatario ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100