TLC is an explicit state model checker for specifications in TLA+
Expert System Tool
Add digital signatures to PDF documents - GUI and CLI, cross-platform
Free project scheduling and management tool
Free Java Reporting Library
Install all required runtimes at once in Windows
A powerful, cross platform, SQL database system
Simple handling of a tomcat server in Eclipse IDE
Repository for the book "Crafting Interpreters"
A Java SQL client for any JDBC compliant database
BBMap short read aligner, and other bioinformatic tools.
The Leading Security Assessment Framework for Android
Relational Database
The free computer aided translation (CAT) tool for professionals
Logging Framework for C++
Domination is a game that is a bit like the board game Risk
Open Source C/C++/Java libraries from Unicode
Free GUI replacement for Java command-line utilities keytool/jarsigner