Downloading KiCS2

Docker Images

Newer versions of KiCS2 are also available as Docker images. Thus, if you do not want to compile KiCS2 from source code (see below), e.g., since you use an unsupported operating system, you can run a Docker image of KiCS2. This image contains the interactive environment as well as some basic tools, like CPM (the Curry Package Manager), CurryCheck (a property test tool), CurryDoc (a documentation generator), CurryPP (a preprocessor implementing some extensions for Curry), and an interface viewing tool (invoked by the KiCS2 command :interface). The latest docker image is based on Ubuntu (20.04) and the Glasgow Haskell Compiler (8.6.5) but everything is contained in this image. To run KiCS2 with the Docker image, you need Docker installed on your machine and run the command

  > docker run -it currylang/kics2 --nocypm

This command starts the interactive KiCS2 environment and the standard libraries are available.. However, in order to compile and execute your Curry programs stored in your local file system or to use the tools contained in the Docker image, one has to run the image with appropriate options. For this purpose, Unix/Linux users can use this shell script to run KiCS2 and other tools with the Docker image. For instance, to run the latest dockerize version of KiCS2, execute

  > curl -sSL -o kics2.sh https://www-ps.informatik.uni-kiel.de/kics2/kics2-docker.sh
  > sh kics2.sh

Source code installation

The KiCS2 distribution runs on Unix-based platforms and has been developed and tested under Linux (Debian/Ubuntu). However, it should also run under similar platforms like Mac OS X. If you want to install and run the complete system on your computer, a Haskell implementation is required, which will be downloaded by Haskell Stack during the installation process. Thus, this build tool should be on your system. For instance, if you run Ubuntu Linux, you can easily install these packages by

  sudo apt-get install haskell-stack

Now you can install KiCS2 by unpacking the distribution file and running "make":

  tar xvzf kics2-<version>.tar.gz
  cd kics2-<version>
  make

Further information can be found in the installation instructions.

Current release:

Look into the release notes to see what has been changed in this release.

Note: Since the distributions contain executables of the compiler, you have to select a release which is compatible with your operating system.

KiCS2 Version 3.1.0 (26/03/24): kics2-3.1.0-x86_64-linux-debian10.tar.gz (built on Debian 10)
kics2-3.1.0-x86_64-linux-debian11.tar.gz (build on Debian 11)
kics2-3.1.0-x86_64-linux-debian12.tar.gz (build on Debian 12)
kics2-3.1.0-manual.pdf

Older releases:

KiCS2 Version 3.0.0 (31/03/23): kics2-3.0.0-x86_64-linux-debian10.tar.gz (built on Debian 10)
kics2-3.0.0-x86_64-linux-debian11.tar.gz (build on Debian 11)
kics2-3.0.0-manual.pdf
KiCS2 Version 2.3.0 (21/11/20): kics2-2.3.0.tar.gz kics2-2.3.0-manual.pdf
KiCS2 Version 2.2.0 (30/10/19): kics2-2.2.0.tar.gz kics2-2.2.0-manual.pdf
KiCS2 Version 2.0.0 (23/11/18): kics2-2.0.0.tar.gz kics2-2.0.0-manual.pdf

Older releases without type classes:

KiCS2 Version 0.6.0-b15 (04/07/18): kics2-0.6.0.tar.gz kics2-0.6.0-manual.pdf
KiCS2 Version 0.5.1 (10/04/17): kics2-0.5.1.tar.gz kics2-0.5.1-manual.pdf
KiCS2 Version 0.5.0 (11/04/16): kics2-0.5.0.tar.gz
KiCS2 Version 0.4.1 (02/10/15): kics2-0.4.1.tar.gz
KiCS2 Version 0.4.0 (26/08/15):
(with new Haskell-like record syntax!)
kics2-0.4.0.tar.gz
KiCS2 Version 0.3.3 (17/02/15): kics2-0.3.3.tar.gz
KiCS2 Version 0.3.2 (19/09/14): kics2-0.3.2.tar.gz
KiCS2 Version 0.3.1 (08/07/14): kics2-0.3.1.tar.gz
KiCS2 Version 0.3.0 (11/09/13): kics2-0.3.0.tar.gz
KiCS2 Version 0.2.4 (11/07/13): kics2-0.2.4.tar.gz
KiCS2 Version 0.2.3 (28/02/13): kics2-0.2.3.tar.gz
KiCS2 Version 0.2.2 (04/12/12): kics2-0.2.2.tar.gz
KiCS2 Version 0.2.1 (11/09/12): kics2-0.2.1.tar.gz
KiCS2 Version 0.1 (16/12/11): kics2-0.1.tar.gz