proof verifier for mathematical proofs and documentation generator
Electronic Data Tags value storage API For java.
GPS data visualisation and exploration
A Simulator/Tester for the BACnet/WS 2 protocol.
Modern, cross platform library of functions used in CoCo software
Converts image files from one format to another format
Printed document formatting like invoices, payment instruments, etc.
Visual graph creator for LaTeX (PGF & TikZ)
IP Multicast Reliable Publish - Subscribe API (Java and Linux C++)
Create your own LaTeX style.
USB Packet Decoder
LGPL WKT parser