Giters

AtnNn / ciao

Public read-only mirror of the Ciao repository

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Build Status Build Status

Public read-only mirror for Ciao source code.

NOTES

This is a temporary repository made available for the purpose of distributing the latest source code of Ciao, specially for the integration with third-party continuous integration services.

Please, do not fork this repository:

  • commit ids will not be stable (history may be rewritten)
  • commit logs are still not available
  • some advanced or experimental features are not available

-- Ciao Development Team

About

Public read-only mirror of the Ciao repository

Languages

Language:Prolog 64.9%Language:C++ 17.5%Language:C 8.7%Language:Emacs Lisp 3.2%Language:TeX 2.3%Language:Java 1.3%Language:Shell 1.2%Language:Python 0.3%Language:CSS 0.1%Language:Makefile 0.1%Language:Objective-C 0.1%Language:CLIPS 0.1%Language:Tcl 0.1%Language:Perl 6 0.1%Language:HTML 0.0%Language:JavaScript 0.0%Language:Batchfile 0.0%Language:Gnuplot 0.0%Language:PLSQL 0.0%Language:Perl 0.0%