• Alt-Ergo

  • Colibri (Soon available as Freeware)

  • Popop (Soon available as Open-Source)

  • OCI (github)

  • Ocplib-simplex (github)