comman and new algorithms and functions development and demo programs.
Collection of fast and optimized assembly libraries for x86-64 Linux
A real time inference engine for temporal logical specifications
simulated annealing optimization and importance-sampling
Mixed Integer Linear Programming (MILP) solver.
Solved training lessons from website codility.com
An independent Data Distribution Management testbed
3 generic sorting algorithms written in C
CRC Library
A human-readable ISC-Licensed implementation of the LZO1X algorithm.