A glib-like multi-platform c library
Arbitrary-precision CRC calculator and algorithm finder
A real time inference engine for temporal logical specifications
Mixed Integer Linear Programming (MILP) solver.
Binary Diff and Undiff Utility
A set of C libraries to implement data structures and algorithms
Pattern-based multi/many-core parallel programming framework
sorting algorithm for binary keys
LBP implementation in multiple computing platforms (ARM,GPU, DSP...)
Do you need a decimal, a binary, a octal and a hexadecimal converter?
An arithmetic calculator for the most popular numerical systems.
CRC Library