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