Fast C++ logging library
Generate type-safe code from SQL
TLC is an explicit state model checker for specifications in TLA+
An incremental parsing system for programming tools
webhook is a lightweight incoming webhook server to run shell commands
Self hosted FLOSS fitness/workout, nutrition and weight tracker
Visual Automation IDE — automate anything you see on screen
A free, cross-platform emulator for GW-BASIC, PCjr & Tandy BASIC
Java wrapper for 7z archiver engine
A light desktop environment for UNIX operating systems.
Evolving Artificial Life