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
Java byte code compatibility analyser
Easy-OCR solution and Tesseract trainer for GNU/Linux
A simple HTTP response checker
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
Zoozle 2008 - 2010 Webpage, Tools and SQL Files
OS independent mouse rate checker written in Java.