A collection of machine-checkend mathematical proofs
Multiplatform Ham Radio APRS and Mapping Program
A system for computer algebra and symbolic mathematics
Graphics generator for pie diagram matrix from spreadsheets
XNBC is a graphic application to simulate biologic neural networks.
The Open-Source Laboratory Information Management System
Real-time data acquisition and visualization software
Hadoop Management System