Explore projects
-
curry-packages / failfree
BSD 3-Clause "New" or "Revised" LicenseA tool to verify whether a Curry program executes without failures
Updated -
curry-packages / contract-prover
BSD 3-Clause "New" or "Revised" LicenseA tool to optimize contracts in FlatCurry programs by proving contracts
Updated