Webpack plugin that runs typescript type checker on a separate process
The most opinionated Go source code linter for code audit
A static type checker for JavaScript
TLC is an explicit state model checker for specifications in TLA+
Download ScriptAnalyzer from PowerShellGallery
Static type checker for Python
An extremely fast Python type checker and language server
Golang security checker
Static AST checker for a11y rules on JSX elements
Various packages and tools that support the Go programming language
Check code for common misspellings
A small, fast, pure JavaScript type-stripper
Fast, small, safe, gradually typed embeddable scripting language
Set of utilities consisting of idiomatic and safe rust utilities
A Python 3 implementation built on GraalVM
A tool to help eliminate NullPointerExceptions (NPEs) in your code
Performant type-checking for python
Optional static typing for Python
Best practices checker for Ansible
A strongly-typed, caching GraphQL client for iOS, written in Swift
A plugin to improve Notepad++
A suite of RPN calculators and a class library for Object Pascal
Drawing, graphics conversion, software development, administration.