- Stars
- 206 stars (206 stars)
- Forks
- 30 forks (30 forks)
- Indexed issues
- 3 indexed issues (3 indexed issues)
- open beginner issues
- 3 open beginner issues (3 open beginner issues)
- Latest indexed
- Aug 17, 2026
- Last GitHub push
- Aug 6, 2025
- Dominant language
- Java
- PR merge metrics
- No merged PRs in 30d (No merged PRs in 30d)
- Beginner labels
- help wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available
leinardi / mypy-pycharm · #114 · Oct 10, 2023 · Java · 206 stars
6 comments1 reaction0 assignees Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available
leinardi / mypy-pycharm · #57 · Feb 20, 2020 · Java · 206 stars
6 comments6 reactions0 assignees Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available
leinardi / mypy-pycharm · #19 · Sep 27, 2018 · Java · 206 stars
1 comment0 reactions0 assignees 