An Open Source Machine Learning Framework for Everyone

Zeek is a powerful network analysis framework that is much different from the typical IDS you may know.

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or fu…

LAVA: Large-scale Automated Vulnerability Addition

GTK+ 1Password reader

IBEX is a C++ library for constraint processing over real numbers.

A model checker for infinite-state systems.

Simplified AI runtime integration for mobile app development

Detect and Avoid Modelling and Simulation — Modélisation et simulation de la détection et de l'évitement

Library for rigorous verification of non-linear arithmetic