a free cross platform calculator for calculating BIG numbers
A real time inference engine for temporal logical specifications
RSTP / MSTP Library and Simulator - moved to GitHub
Sokoban solver written in Ada
simplifies boolean functions with Quine-McCluskey algorithm
Connecting Overlapped Pair-End Reads
fast C++ library for GPU linear algebra & scientific computing
Bin Packing problem solved using Genectic Algorithm
Easy-to-use tool for fast comparison of molecular packing
Progressive Function Point Analysis Workbook in Excel
A tool for encoding/decoding to base62
Least-Squares Adjustment Software for Geodetic Sciences
Open Source Java platform for Optimization, DoE, and Learning.