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