GitHub topic
type-checking GitHub repositories
Explore 2 tracked GitHub repositories tagged type-checking. Compare their recorded star activity and implementation languages, then follow related topics to find other projects.
Snapshot: 2026-10-28. The collection gained 0 stars since the previous daily snapshot.
- Tracked repositories
- 2
- Total stars
- 3,712
- Stars gained · 7 days
- +2
- Stars gained · 30 days
- +4
Compare star activity
Up to five projects on this page, ordered by daily star growth. Open a project for its description and recorded star history.
Swipe to compare all star periods →
| Repository | Total stars | Today | 7 days | 30 days |
|---|---|---|---|---|
| jasmcaus/caer | 822 | +0 | +2 | +4 |
| explosion/thinc | 2.9K | +0 | +0 | +0 |
Explore repositories
Showing 1–2 of 2 tracked repositories.