proof verifier for mathematical proofs and documentation generator
Updated with Lua AI
User Friendly Data Analysis Tool for Interaction Data
clustering, machine learning, algorithms
C++ flow-based metaprogramming library
MatLab functions for reading WinView/WinSpec .spe files
A class library to use conformal geometric algebra in C#
Central Software Configuration by Java API and SOAP Service
Generator for textual models by applying different techniques
Frontend & Backend Automation Tool
General purpose matrix utilities for Java in Parallel Computing
Simplistic templace header for c++ based pathing or routing.
A library for monitoring the garbage collection of app objects
dimensionality-recursive vector quantization
A C++ template library extending syntax towards mathematical notation
2D physics engine and simulation
Math Parser for Java