#Type-checker
Showing 6 of 6 repositories tagged #type-checker, ranked by stars
facebook
pyrefly
A fast type checker and language server for Python
Score
0
★ 6.8k
⑂ 430
+5/day
Rust
carthage-software
mago
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
Score
100
★ 3.3k
⑂ 167
+5/day
Rust
mtshiba
pylyzer
A fast, feature-rich static code analyzer & language server for Python
Score
50
★ 2.9k
⑂ 43
—
Rust
Glyphack
enderpy
Experimental Python Type Checker and LSP 🔎
Score
0
★ 83
⑂ 7
—
Rust
MaxDesiatov
Typology
Swift type checking and semantic analysis for developer tools
Score
0
★ 80
⑂ 5
—
Swift
Y0-L0
helm-snoop
helm-snoop can detect drift between the values.yaml file and the helm template files. Making sure the documentation matches the implementation and protecting from typos.
Score
0
★ 11
⑂ 0
—
Go