Explore projects

The Spicey web framework for Curry

Tools for database applications specified by entity-relationship diagrams (ERDs)

The Curry Analysis Server System

Library for handling global entities in programs

Library to access profile data of the back-end Prolog system of PAKCS

Libraries to represent Julia programs in Curry

Libraries for programming graphical user interfaces

Libraries for HTML programming with event-handler-based form processing

An implementation of arrays with Braun trees

Computing strongly connected components

Read and update files containing properties in equational syntax

Operations to format values of basic data types with formatting f lags

This package contains libraries to exactly print a curry-ast back to its source representation.

Simple website to demonstrate SQL-Injections

Prototype implementation of synthesizing set functions

Library to access profile data of the back-end Prolog system of PAKCS