[All bundles]

core

Version: 1.18.0
Manuals: ciao_internals
Source: repository
Automatic builds
Status and logs: Linux and macOS | Windows
Binaries: here

Ciao compiler and standard libraries

Ciao is a programming language that builds up from a logic-based simple kernel, and is designed to be extensible and modular. Its supports:

This bundle contains the compiler and Ciao standard libraries. Together with the builder bundle it can be used as a minimal Ciao installation.

Other advanced features (such as global program analysis and transformations, static debugging, documentation generation, development environments, etc.) are provided in separate bundles.

See the INSTALLATION file for installation instructions.