Webpack plugin that runs typescript type checker on a separate process
Golang security checker
Fast, small, safe, gradually typed embeddable scripting language
Various packages and tools that support the Go programming language
A Python 3 implementation built on GraalVM
The most opinionated Go source code linter for code audit
Static type checker for Python
Best practices checker for Ansible
A static type checker for JavaScript
TLC is an explicit state model checker for specifications in TLA+
Download ScriptAnalyzer from PowerShellGallery
Static AST checker for a11y rules on JSX elements
A tool to help eliminate NullPointerExceptions (NPEs) in your code
Check code for common misspellings
Performant type-checking for python
A small, fast, pure JavaScript type-stripper
A strongly-typed, caching GraphQL client for iOS, written in Swift
A C/C++ minor mode for Emacs powered by libclang
A plugin to improve Notepad++
RAD Tool and IDE for PHP, JSP, ASP, C++ and Java Swing
Drawing, graphics conversion, software development, administration.
A suite of RPN calculators and a class library for Object Pascal
Java byte code compatibility analyser