Explore projects
-
Updated
-
curry-packages / process
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / time
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / read-legacy
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / io-extra
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / containers
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / filepath
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / distribution
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / directory
BSD 3-Clause "New" or "Revised" LicenseUpdated -
packaging / fusiondirectory-hooks
GNU General Public License v2.0 or laterUser- and host creation/removal hook scripts for FusionDirectory
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 / setfunction-synthesis
BSD 3-Clause "New" or "Revised" LicensePrototype implementation of synthesizing set functions
Updated -
curry-packages / icurry
BSD 3-Clause "New" or "Revised" LicenseGeneric intermediate format for compiling Curry to imperative languages
Updated -
curry-packages / ninja
BSD 3-Clause "New" or "Revised" LicenseRepresentation and generation of Ninja files
Updated -
-
-
curry-packages / profiling-pakcs
BSD 3-Clause "New" or "Revised" LicenseLibrary to access profile data of the back-end Prolog system of PAKCS
Updated -
curry-packages / traversal
BSD 3-Clause "New" or "Revised" LicenseLibrary to support lightweight generic traversals through tree-structured data
Updated -
curry-packages / combinatorial
BSD 3-Clause "New" or "Revised" LicenseA collection of common non-deterministic and/or combinatorial operations
Updated