Explore projects
-
curry-packages / curry-source
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / dimacs
BSD 3-Clause "New" or "Revised" LicenseThis package provides an interface to SAT solvers supporting the DIMACS format.
Updated -
curry-packages / assoc-legacy
BSD 3-Clause "New" or "Revised" LicenseLibrary to deal with a global association between strings
Updated -
curry-packages / random
BSD 3-Clause "New" or "Revised" LicenseLibrary for pseudo-random number generation
Updated