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
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