Common accessible environment for system dynamics simulation.
proof verifier for mathematical proofs and documentation generator
A class library to use conformal geometric algebra in C#
Open Source Data Evaluation Software
clustering, machine learning, algorithms
VEX Robotics Competition Simulator
MatLab functions for reading WinView/WinSpec .spe files
GUI Frontend for CDPOP
Software for data analysis, image processing, simulations, solver.
Plugin orientated Discrete Dipole Approximation (DDA) Solver
C++ flow-based metaprogramming library
Module Computation for Metabolic Networks
VOpR - a virtual optical rail