type-checker

Here are 3 public repositories matching this topic...

Type checking static analysis for Go templates.

go html golang template static-analysis type-checker

🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).

lint go golang ci linter static-analysis safety contracts dbc type-checker design-by-contract guards deal golangci-lint

JSON-Schema based type resolver for golang

json types json-schema polymorphism type-system type-checker subtyping

Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.

To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."