proof verifier for mathematical proofs and documentation generator
clustering, machine learning, algorithms
User Friendly Data Analysis Tool for Interaction Data
VEX Robotics Competition Simulator
GUI Frontend for CDPOP
BACnetRail - BACnet IP network monitoring tool
Open Source Data Evaluation Software
MatLab functions for reading WinView/WinSpec .spe files
A class library to use conformal geometric algebra in C#
C++ flow-based metaprogramming library
Generator for textual models by applying different techniques
Plugin orientated Discrete Dipole Approximation (DDA) Solver
Simplistic templace header for c++ based pathing or routing.