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