Explore projects
-
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 -
curry-packages / redblacktree
BSD 3-Clause "New" or "Revised" LicenseLibraries implementing red-black trees for tables and sets
Updated -
Updated
-
Updated
-
curry-packages / inversion
BSD 3-Clause "New" or "Revised" LicensePackage containing utility operations to invert functions
Updated -
curry-packages / mail-utils
BSD 3-Clause "New" or "Revised" LicenseUtilities for sending emails
Updated -
Kai Prott / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Backup repository for the "Advanced Programming" course.
Updated -
-
curry-packages / flatcurry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with FlatCurry programs
Updated -
curry-packages / flatcurry-compact
BSD 3-Clause "New" or "Revised" LicenseA tool to reduce the size of FlatCurry programs
Updated