Collection of fast and optimized assembly libraries for x86-64 Linux
A real time inference engine for temporal logical specifications
AlgoSim : création, analyse et exécution des algorithmes
simulated annealing optimization and importance-sampling
Mixed Integer Linear Programming (MILP) solver.
Parallel simulators for Membrane Computing on the GPU
Pattern-based multi/many-core parallel programming framework
Calculate primes by using extremely fast sorting
Displays all time information... at no cost!
Classic & Modern Cryptography tools
Shortest Path Navigator with Directions and Distance
A Univariate Time Series Analysis package in ANSI C
OptimC - Optimization / Unconstrained Minimization Library in ANSI C
clustering, machine learning, algorithms
An independent Data Distribution Management testbed
An implementation of Dantzig-Wolfe decomposition built upon GLPK