Caterina Urban

Typpete. Python

Lyra. Lyra is a prototype static analyzer for data science applications written in Python.

Libra. Libra is a static analyzer for certifying fairness of feed-forward neural network classifiers of tabular data.

function. OCaml

apronpy. Python

A-GBS. Python

AI4AI. Python