Topic Hub
#type-checker (3 Repositories)
Ranked open-source repositories tagged with #type-checker, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
56.0%
Avg Review Latency
31.8h
Filter by language
3 repositories tagged #type-checker
A TierRust 3.4k
carthage-software/mago
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
87.9%
Merge Rate
2d
First Review
81%
1st-Timers
41
Maintainers
B TierHAHaskell 124
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
80.0%
Merge Rate
1d
First Review
100%
1st-Timers
1
Maintainers
D TierRust 6.9k 44 GFIs
facebook/pyrefly
A fast type checker and language server for Python
0.0%
Merge Rate
20h
First Review
0%
1st-Timers
52
Maintainers