A whole-program optimizing compiler for Standard ML
The GNU Prolog native compiler
Building and running ancient Linux on Windows
An implementation of interval arithmetic
Tables indexed by strings
String editing and formatting library for Ada
A GUI library for designing gauges, meters, oscilloscopes, plotters
Contributions to Ada bindings to GTK+
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
A software components library
simulated annealing optimization and importance-sampling
A native Windows port of the GNU Compiler Collection (GCC)
Extract the TLD of any, world wide, URI.
A cross-platform interpreter for many point-and-click adventure games
Easy tool for generating patches for your application.
Disk diagnostic for disk/controler/driver testing