Tool support for the Z formal notation
PEARL Compiler and Runtime System
Traditional/Simplified Chinese conversion with CLI or GUI
Modular XSL-FO Implementation for Java.
Converts cobol copybooks to Xml/Java objects
ISC dhcpd leases usage analysis
Calc: arbitrary precision C-like arithmetic & calculator
Individual-based forward-time genetics simulation software
A simple LLVM frontend to Forthlang - my own simple dialect of Forth
Set of BIN/CUE<->VCD conversion tools for FreeBSD & GNU/Linux
Automate the download of entire Twitch.tv channels
web interface to Disk Archive
Java Audio Plugin System
CGRU: Afanasy render farm manager and RULES project tracker.
Arbitrary-precision CRC calculator and algorithm finder
A whole-program optimizing compiler for Standard ML
Automatic question answering for local knowledge bases based on LLM
Powerful webdav client and sync tools with client-side AES encryption
Open Source Solid Modeling CAD