Bundle Catalog

This is the catalog of available Ciao bundles. The links below provide detailed information for each bundle (description, manuals, repositories, dependencies, reverse dependencies, build status, and runnable and downloadable artifacts).

Core bundles


NameDescription
core
builderCiao Builder: build automation for Ciao

Standard bundles


NameDescription
lpdoc
ciaofmtAutomatic source code formatting
ciaodbgDebugging, Testing and Profiling for Ciao
alldocsGeneral Ciao documentation
ciao_emacsThe Ciao mode for Emacs
ciaopp

Other bundles


NameDescription
dht_chordDistributed Hash Table (using Chord)
bibutils
lpmake
ciaopp_onlineCiaoPP Web interface
ciao_pplCiao bindings for the PPL
ciao_gslCiao bindings for GSL
ciaopp_batchDriver for analyzing (CiaoPP) collections of modules
chip
chat80_uiWeb interface for Chat-80
contrib
timingmodelTiming Model (a simple WAM for time analysis)
provrml
chat80Chat-80 port to Ciao
catalog_uiCiao Bundle Catalog (UI)
testsuiteA general test suite for Ciao
jvm_in_ciaoJVM implemented in Ciao
xml_extraExtra libraries for XML
core_OC
ciaomathMathematical libraries
core_OCjs
websiteThe Ciao Website
gendotGraphviz DOT generator
ciao_javaCiao/Java Bidirectional Interface
ciao_llvmA high-level LLVM interface for Ciao
ciao_tcltkBidirectional Tcl/Tk interface for Ciao
mycinMYCIN-style inference
poly_clpqClosed Rational Polyhedra based on CLP(Q)
wuiWUI: Web-based User Interface components for Ciao
yap_libsYap libraries for Commons