A whole-program optimizing compiler for Standard ML
The GNU Prolog native compiler
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+
Handling dimensioned values in Ada
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
A software components library
simulated annealing optimization and importance-sampling
Complete IDE for Batch files with BAT To EXE Compiler and Debugger.
Software Unit Tests (Language Independent Approach)
Efficient, text-only browser for C sources
Extended C Library
Extract the TLD of any, world wide, URI.
Multi-format web publishing system based on Texinfo
Java implementation of the IDA