A web-based editor and browser for small programs.
PAKCS: The Portland Aachen Kiel Curry System
The Curry frontend
The central repository index of CPM
The base libraries of Curry distributions, like PAKCS or KiCS2
The sources of the tutorial on Curry.
A compiler and run-time system to compile and run Curry programs as Go programs
Dasselbe, aber mit prolog-tests.
Library for programming with sockets
Masala: The Repository of Curry Packages
The Spicey web framework for Curry
Some auxiliaries used by the Curry preprocessor to check contracts
Shows the usage of imported entities in a module
Operations to deal with Curry module names and paths
A universal REPL which can be used on top of a Curry compiler
A tool to check the formatting style of Curry programs
KiCS2: The Kiel Curry System v.2