Datalog variant for tool designers crafting analyses in Horn clauses
Matplot++: A C++ Graphics Library for Data Visualization
32/64 bit multi-platform Ethernet S7 PLC communication suite
Unix Tools For Windows
Simple Long Integer Math for C++
Pcynlitx is an innovative multi-thread software development platform
The Tensor Algebra Compiler (taco) computes sparse tensor expressions
This document documents how to run the compression reference code
An object oriented language for concurrent software development
Unified Test and Logging layer for multiple programming languages