Explore projects
-
Updated
-
curry-packages / db-pakcs
BSD 3-Clause "New" or "Revised" LicenseOld database libraries for PAKCS (deprecated)
Updated -
Updated
-
Updated
-
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 / directory
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / distribution
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / dsdcurry
BSD 3-Clause "New" or "Revised" LicenseA tool for declarative software development
Updated -
curry-packages / easycheck
BSD 3-Clause "New" or "Revised" LicenseLibraries for automated, property-based testing of Curry programs
Updated -
Jasper Paul Sikorra / ecmascript
BSD 3-Clause "New" or "Revised" LicenseAn ECMAScript library for Curry
Updated -
curry-packages / ertools
BSD 3-Clause "New" or "Revised" LicenseTools for database applications specified by entity-relationship diagrams (ERDs)
Updated -
This package contains libraries to exactly print a curry-ast back to its source representation.
Updated -
curry-packages / execpath
BSD 3-Clause "New" or "Revised" LicenseOperations related to the program execution path
Updated -
curry-packages / extra
BSD 3-Clause "New" or "Revised" LicenseGeneral utility functions and useful additions to the standard library
Updated -
curry-packages / failfree
BSD 3-Clause "New" or "Revised" LicenseA tool to verify whether a Curry program executes without failures
Updated -
Updated