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
TLC is an explicit state model checker for specifications in TLA+
A static type checker for JavaScript
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
Fast, small, safe, gradually typed embeddable scripting language
Optional static typing for Python
A small, fast, pure JavaScript type-stripper
Performant type-checking for python
A Python 3 implementation built on GraalVM
Best practices checker for Ansible
Drawing, graphics conversion, software development, administration.
A suite of RPN calculators and a class library for Object Pascal
Open-source Python gaming tools: Ping Monitor, Specs Check,Auto Click
Free online developer tools JSON formatter, Base64 encoder, and more
110+ developer tools as native MacOS, Linux & Windows desktop apps.
A C/C++ minor mode for Emacs powered by libclang
Java byte code compatibility analyser