Paris, France

Caterina Urban

Advanced
@caterinaurban
caterinaurban.github.io

Typpete. Python

35

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

31

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

24

function. OCaml

18

apronpy. Python

10

A-GBS. Python

2

AI4AI. Python

1
7
Apply