Giters
The Ciao Programming Language (ciao-lang)

The Ciao Programming Language

ciao-lang

Geek Repo

A general purpose, multi-paradigm programming language in the Prolog family

Location:Earth

Home Page:https://ciao-lang.org

Github PK Tool:Github PK Tool

The Ciao Programming Language's repositories

docker-ciao

Docker image for Ciao

Language:ShellStargazers:4Issues:5Issues:0

mycin

Language:PrologLicense:LGPL-3.0Stargazers:4Issues:4Issues:1

chat80

Language:PrologLicense:LGPL-3.0Stargazers:1Issues:4Issues:1

ciao_boxes

Virtual machines for Ciao

Language:RubyStargazers:1Issues:4Issues:0

ociao

Language:PrologLicense:LGPL-3.0Stargazers:1Issues:4Issues:0

yap_libs

Language:PrologLicense:LGPL-3.0Stargazers:1Issues:4Issues:0

ciao_buddy

Ciao interface to BuDDy

Language:PrologStargazers:0Issues:3Issues:0

ciao_java

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

ciao_ppl

Language:C++License:LGPL-3.0Stargazers:0Issues:4Issues:0

ciao_z3

Z3 interface for Ciao

Language:SMTStargazers:0Issues:2Issues:0

concolic

Concolic search (experimental)

Language:PrologLicense:Apache-2.0Stargazers:0Issues:4Issues:0

davinci

Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

gendot

Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

homebrew-ciao

Homebrew formulae for Ciao

Language:RubyStargazers:0Issues:4Issues:0

lpmake

Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

persdb_mysql

Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

prolog

Stargazers:0Issues:0Issues:0

provrml

Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0