Alt-Ergo

COLIBRI

Popop (Soon available as Open-Source)

OCI (github)

Ocplib-simplex (github)