Explore projects
-
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 -
curry-packages / cpm-query
BSD 3-Clause "New" or "Revised" LicenseA tool to query analysis information about entities defined in some Curry package
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 -
curry-packages / nonstrictunif-optimize
BSD 3-Clause "New" or "Revised" LicenseLinearity optimizer for functional patterns and non-strict unification
Updated -
Updated