Scalable PaaS (automated Docker+nginx), aka Heroku on Steroids
TLC is an explicit state model checker for specifications in TLA+
A code generator for connecting C/C++ with other programming languages
Source code to formatted text converter
Desktop search application
Lightweight, quick reference tool for Java developers.
A decompiler for Lua 5.x
Parser generator to read, process, or translate structured text
jEdit is a programmer's text editor written in Java.
A powerful, feature-rich Markdown editor with real-time HTML preview.
Visual Automation IDE — automate anything you see on screen
A generator of DTO, Model, and DAO classes to access relational DB
Complete Collection of 151 Problems
Open Source C/C++/Java libraries from Unicode
String editing and formatting library for Ada
java bean / database driven zero code application framework
Nyquist is a language for sound synthesis and music composition.
Oddwarg's Java utility code