The Ciao Programming Language ·

alldocs Public
Reference manuals for Ciao
ciao-lang/alldocs’s past year of commit activity
TeX 1 LGPL-3.0 0 0 0 UpdatedJun 6, 2025
ciao Public
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
ciao-lang/ciao’s past year of commit activity
Prolog 304 LGPL-3.0 23 43 0 UpdatedJun 6, 2025
ciao_playground Public
A playground for Ciao
ciao-lang/ciao_playground’s past year of commit activity
JavaScript 8 LGPL-3.0 2 1 0 UpdatedJun 6, 2025
profilercc Public
Profiler with cost centers
ciao-lang/profilercc’s past year of commit activity
C 2 LGPL-3.0 0 0 0 UpdatedJun 6, 2025
iso_tests Public
Tests for ISO Prolog conformance
ciao-lang/iso_tests’s past year of commit activity
Prolog 2 LGPL-3.0 0 0 0 UpdatedJun 6, 2025
lpdoc Public
Documentation Generator for Prolog
ciao-lang/lpdoc’s past year of commit activity
Prolog 4 LGPL-3.0 1 0 0 UpdatedJun 6, 2025
ciaowasm Public
Ciao Prolog for Javascript (w/ WebAssembly)
ciao-lang/ciaowasm’s past year of commit activity
JavaScript 8 LGPL-3.0 2 0 0 UpdatedJun 6, 2025
ciaopp Public
The Ciao Preprocessor
ciao-lang/ciaopp’s past year of commit activity
Prolog 11 LGPL-3.0 4 2 0 UpdatedJun 6, 2025
ciao_emacs Public
Ciao mode for Emacs
ciao-lang/ciao_emacs’s past year of commit activity
Emacs Lisp 5 LGPL-3.0 3 0 0 UpdatedJun 6, 2025
ciaopp_tests Public
Tests for CiaoPP
ciao-lang/ciaopp_tests’s past year of commit activity
Prolog 1 LGPL-3.0 0 0 0 UpdatedJun 6, 2025

View all repositories

The Ciao Programming Language

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!