The Curry Package Manager
A partial evaluator for Curry
The Curry Package Manager (deprecated, current version moved to group curry-packages)
Updated