proof verifier for mathematical proofs and documentation generator
clustering, machine learning, algorithms
User Friendly Data Analysis Tool for Interaction Data
GUI Frontend for CDPOP
Discontinued. Look for http://sourceforge.net/projects/scienplot/
BACnetRail - BACnet IP network monitoring tool
VEX Robotics Competition Simulator
Open Source Data Evaluation Software
MatLab functions for reading WinView/WinSpec .spe files
A class library to use conformal geometric algebra in C#
Software platform developed for the robotic control of telescopes.
Generator for textual models by applying different techniques