Repository Issues

racket/typed-racket

Typed Racket

View on GitHub
Stars
 (576 stars)
Forks
 (106 forks)
Indexed issues
 (10 indexed issues)
open beginner issues
 (10 open beginner issues)
Latest indexed
Aug 11, 2026
Last GitHub push
Jul 14, 2026
License
Other
Contributing guide
No contributing guide
Code of conduct
No code of conduct
Dominant language
Racket
PR merge metrics
 (Avg merge 11d 14h) (1 merged PR in 30d)
Beginner labels
good first issue

Issues

10 indexed issues

Open
Unsound complex `exp` optimization
good first issueoptimizerunsound
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label

racket / typed-racket · #969 · Sep 1, 2020 · Racket · 576 stars

3 comments0 reactions0 assignees
Open
Clean up the "utils" directory
good first issue
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label

racket / typed-racket · #725 · May 16, 2018 · Racket · 576 stars

1 comment0 reactions0 assignees
Open
tooltips missing sometimes
enhancementgood first issue
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label

racket / typed-racket · #667 · Feb 16, 2018 · Racket · 576 stars

0 comments0 reactions0 assignees