Issues du dépôt

racket/typed-racket

Typed Racket

Voir sur GitHub
Stars
 (576 étoiles)
Forks
 (106 forks)
Issues indexées
 (10 issues indexées)
issues débutant ouvertes
 (10 issues débutant ouvertes)
Dernière indexation
11 août 2026
Dernier push GitHub
14 juil. 2026
Licence
Other
Guide de contribution
Aucun guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Racket
Métriques de merge PR
 (Merge moyen 11j 14h) (1 PR fusionnée en 30 j)
Labels débutant
good first issue

Issues

10 issues indexées ouvertes

Ouverte
Unsound complex `exp` optimization
good first issueoptimizerunsound
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutants

racket / typed-racket · #969 · 1 sept. 2020 · Racket · 576 étoiles

3 commentaires0 réaction0 personne assignée
Ouverte
Clean up the "utils" directory
good first issue
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutants

racket / typed-racket · #725 · 16 mai 2018 · Racket · 576 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
refinement type runs into an endless loop
good first issueinferencerefinement
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutants

racket / typed-racket · #672 · 28 févr. 2018 · Racket · 576 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
tooltips missing sometimes
enhancementgood first issue
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutants

racket / typed-racket · #667 · 16 févr. 2018 · Racket · 576 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
internal error type-checking a dot type program
good first issue
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutants

racket / typed-racket · #509 · 13 mars 2017 · Racket · 576 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
TR should provide a Dictionary type
good first issue
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutants

racket / typed-racket · #31 · 21 févr. 2015 · Racket · 576 étoiles

0 commentaire0 réaction0 personne assignée