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
Download ScriptAnalyzer from PowerShellGallery
TLC is an explicit state model checker for specifications in TLA+
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
A small, fast, pure JavaScript type-stripper
A Python 3 implementation built on GraalVM
A tool to help eliminate NullPointerExceptions (NPEs) in your code
Fast, small, safe, gradually typed embeddable scripting language
Best practices checker for Ansible
A plugin to improve Notepad++
A suite of RPN calculators and a class library for Object Pascal
Drawing, graphics conversion, software development, administration.
110+ developer tools as native MacOS, Linux & Windows desktop apps.
RAD Tool and IDE for PHP, JSP, ASP, C++ and Java Swing
Java byte code compatibility analyser
Compiler for the Vale programming language
Repurposing existing HDL tools to help writing better code
This program allows to spelling text in difficult environment
Holberton-style C code checker written in Perl