Explore projects

A tool to verify whether a Curry program executes without failures

A tool to optimize contracts in FlatCurry programs by proving contracts