Updated 6 months ago
typepal
TypePal is a framework for name analysis, type checking and type inference
Updated 4 months ago
https://github.com/kubecub/typecheck
Typecheck is a github actions robust tool designed for cross-platform source code type checking across all Go build platforms. This utility leverages Go’s built-in parsing and type-check libraries (`go/parser` and `go/types`) to deliver efficient and reliable code analysis.