A real time inference engine for temporal logical specifications
A library for secure deleting data on-the-fly
AlgoSim : création, analyse et exécution des algorithmes
Hexadecimal strings test tool
simulated annealing optimization and importance-sampling
Ring-Buffer library in C, includes support of multithreading
Compressed bit-sets, sparse bit matrices and algorithms
ZHSoftware
Time-Out-Timer for single threaded environement
An extensive list subsystem, written in C
NCNN implementation of Real-ESRGAN
Libraries to work with data structures in C language
Very fast Markdown parser and HTML generator implemented
Mirror of the TA-Lib project using a Git repository
Automated integer factorization
Mixed Integer Linear Programming (MILP) solver.
A set of C libraries to implement data structures and algorithms
Utility to show live progress, status & stats for running simulations
Binary Diff and Undiff Utility