All

50 repositories

ciao_lptp
Public
Ciao port of LPTP
Prolog
•
Other
•0•0•0•0•Updated Sep 11, 2025Sep 11, 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.
programming-language interpreter bytecode
programming-language interpreter bytecode compiler virtual-machine logic prolog prolog-implementation constraints prolog-interpreter
Prolog
•
GNU Lesser General Public License v3.0
•24•331•47•0•Updated Jun 21, 2025Jun 21, 2025
cleandirs
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated Jun 17, 2025Jun 17, 2025
devenv
Public
Full development environment (Emacs-based)
emacs prolog ciao
emacs prolog ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•3•0•0•Updated Jun 17, 2025Jun 17, 2025
ciao_playground
Public
A playground for Ciao
playground prolog webassembly
playground prolog webassembly ciao-prolog
JavaScript
•
GNU Lesser General Public License v3.0
•2•9•1•0•Updated Jun 17, 2025Jun 17, 2025
profilercc
Public
Profiler with cost centers
C
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Jun 17, 2025Jun 17, 2025
iso_tests
Public
Tests for ISO Prolog conformance
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Jun 17, 2025Jun 17, 2025
lpdoc
Public
Documentation Generator for Prolog
prolog documentation-generator ciao
prolog documentation-generator ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•1•3•0•0•Updated Jun 17, 2025Jun 17, 2025
testsuite
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated Jun 17, 2025Jun 17, 2025
ciaopp
Public
The Ciao Preprocessor
static-analysis prolog abstract-interpretation
static-analysis prolog abstract-interpretation ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•4•13•3•0•Updated Jun 17, 2025Jun 17, 2025
alldocs
Public
Reference manuals for Ciao
prolog ciao ciao-prolog
prolog ciao ciao-prolog
TeX
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Jun 17, 2025Jun 17, 2025
ciao_emacs
Public
Ciao mode for Emacs
emacs prolog ciao
emacs prolog ciao ciao-prolog
Emacs Lisp
•
GNU Lesser General Public License v3.0
•3•5•1•0•Updated Jun 17, 2025Jun 17, 2025
synch_actions
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated Jun 17, 2025Jun 17, 2025
poly_clpq
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Jun 17, 2025Jun 17, 2025
ciaowasm
Public
Ciao Prolog for Javascript (w/ WebAssembly)
javascript prolog webassembly
javascript prolog webassembly wasm ciao-prolog
JavaScript
•
GNU Lesser General Public License v3.0
•2•9•0•0•Updated Jun 6, 2025Jun 6, 2025
ciaopp_tests
Public
Tests for CiaoPP
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Jun 6, 2025Jun 6, 2025
deepfind
Public
Prolog
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Jun 6, 2025Jun 6, 2025
exfilter
Public
Execute and filter (lpdoc plugin)
Prolog
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated Jun 6, 2025Jun 6, 2025
lpmake
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•1•1•0•0•Updated Jun 6, 2025Jun 6, 2025
typeslib
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Oct 13, 2024Oct 13, 2024
wui
Public
Web-based UI for Ciao
ciao-prolog
ciao-prolog
JavaScript
•
GNU Lesser General Public License v3.0
•0•3•0•0•Updated Jul 22, 2024Jul 22, 2024
website
Public
The Ciao website
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•0•1•0•Updated Jul 22, 2024Jul 22, 2024
chat80
Public
prolog ciao ciao-prolog
prolog ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•1•2•1•0•Updated Jul 22, 2024Jul 22, 2024
ciao_java
Public
java prolog ciao
java prolog ciao ciao-prolog
Java
•
GNU Lesser General Public License v3.0
•1•0•0•0•Updated Jul 22, 2024Jul 22, 2024
ciao_chr
Public
Leuven CHR System ported to Ciao
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Jul 22, 2024Jul 22, 2024
ciao_vsc
Public
TypeScript
•
GNU Lesser General Public License v3.0
•1•1•0•1•Updated Apr 2, 2024Apr 2, 2024
ciaofmt
Public
formatter prolog ciao
formatter prolog ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Mar 5, 2024Mar 5, 2024
ciaodbg
Public
Additional debugging, testing, and profilings for Ciao
debugger prolog ciao
debugger prolog ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Mar 5, 2024Mar 5, 2024
ociao
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Mar 5, 2024Mar 5, 2024
persdb_mysql
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Mar 5, 2024Mar 5, 2024

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

The Ciao Programming Language

All

All

50 repositories

ciao_lptp

ciao

cleandirs

devenv

ciao_playground

profilercc

iso_tests

lpdoc

testsuite

ciaopp

alldocs

ciao_emacs

synch_actions

poly_clpq

ciaowasm

ciaopp_tests

deepfind

exfilter

lpmake

typeslib

wui

website

chat80

ciao_java

ciao_chr

ciao_vsc

ciaofmt

ciaodbg

ociao

persdb_mysql

All

All

Repositories list

50 repositories