TLC is an explicit state model checker for specifications in TLA+
An extremely fast Python type checker and language server
Optional static typing for Python
A small, fast, pure JavaScript type-stripper
A Python 3 implementation built on GraalVM
Drawing, graphics conversion, software development, administration.
A suite of RPN calculators and a class library for Object Pascal
Free online developer tools JSON formatter, Base64 encoder, and more
110+ developer tools as native MacOS, Linux & Windows desktop apps.
Java byte code compatibility analyser
IOSec Addons are enhancements for web security and crawler detection
Plaggie is a standalone open source plagiarism detection application
A checker (site and tool) for CVE-2014-0160
OS independent mouse rate checker written in Java.