Algorithm powering the For You feed on X
fast C++ library for linear algebra & scientific computing
Arbitrary-precision CRC calculator and algorithm finder
fast C++ library for GPU linear algebra & scientific computing
Iterative and recursive parallelism generics for Ada 2005 and Ada 2012
simulated annealing optimization and importance-sampling
Open-Source Framework for Distributed Constraint Optimization (DCOP)
Very fast classes for working with Dynamic Arrays in Delphi and C++
Password Safe encrypted databases, Java library
A real time inference engine for temporal logical specifications
antigift is simple cross-platform, files & folders encryption tool
Concise spatial query and representation system (c-squares)
Linear constraint feasibility check and get program.
Libtdata is a C library implements trees, index allocation and bit ops
C++ BigInt class enables to work with arbitrary precision integers
Pattern-based multi/many-core parallel programming framework
Generate and solve Travelling Salesman Problem tasks