GPML
Graph Processing for Machine Learning (GPML) is an open source tool for analyzing and transforming network traffic data through graph representations.
OpenBSD
A free, multi-platform 4.4 BSD-based UNIX-like operating system.
TAGADA
A constraint programming library for automatically computing differential distinguishers on symmetric encryption algorithms.