Explore projects
-
curry-packages / csv
BSD 3-Clause "New" or "Revised" LicenseLibrary for reading/writing files in CSV format
Updated -
-
-
curry-packages / curry-repl
BSD 3-Clause "New" or "Revised" LicenseA universal REPL which can be used on top of a Curry compiler
Updated -
-
-
Jan Path / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
-
curry-packages / ccti
BSD 3-Clause "New" or "Revised" LicenseCurry Concolic Testing Interpreter
Updated -
curry-packages / dimacs
BSD 3-Clause "New" or "Revised" LicenseThis package provides an interface to SAT solvers supporting the DIMACS format.
Updated -
curry-packages / peval-noshare
BSD 3-Clause "New" or "Revised" LicenseA partial evaluator for Curry (without sharing)
Updated -
curry-packages / ninja
BSD 3-Clause "New" or "Revised" LicenseRepresentation and generation of Ninja files
Updated -
curry-packages / stylechecker
BSD 3-Clause "New" or "Revised" LicenseA tool to check the formatting style of Curry programs
Updated -
curry-packages / socket
BSD 3-Clause "New" or "Revised" LicenseLibrary for programming with sockets
Updated -
-
theses / 2020 / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
curry-packages / random
BSD 3-Clause "New" or "Revised" LicenseLibrary for pseudo-random number generation
Updated -
curry-packages / property-prover
BSD 3-Clause "New" or "Revised" LicenseA tool to verify properties of Curry programs (contracts, non-failing)
Updated