A real time inference engine for temporal logical specifications
Utilities Library for C
Linux to DJGPP cross-compiler with pthread library and std::thread.
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
Libraries to work with data structures in C language
Automated integer factorization
Bug-fix-only libev port of shadowsocks
Mirror of the TA-Lib project using a Git repository
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
Parallel simulators for Membrane Computing on the GPU
C/C++ function instrumentation (AOP, exception/stack tracing, GC)
Libtdata is a C library implements trees, index allocation and bit ops