ciao-lang/ciao_boxes ciao-lang/ciao_boxes

  • Stars
    star
    1
  • Language
    Ruby
  • Created almost 9 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ciao-lang/ciao_boxes
github

ciao-lang

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Virtual machines for Ciao

More Repositories

1

ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Prolog
272
star
2

ciaopp

The Ciao Preprocessor
Prolog
11
star
3

ciao_playground

A playground for Ciao
JavaScript
8
star
4

ciaowasm

Ciao Prolog for Javascript (w/ WebAssembly)
JavaScript
7
star
5

ciao_emacs

Ciao mode for Emacs
Emacs Lisp
5
star
6

mycin

Prolog
4
star
7

docker-ciao

Docker image for Ciao
Shell
4
star
8

lpdoc

Documentation Generator for Prolog
Prolog
3
star
9

devenv

Full development environment (Emacs-based)
Prolog
3
star
10

wui

Web-based UI for Ciao
JavaScript
2
star
11

alldocs

Reference manuals for Ciao
TeX
1
star
12

chat80

Prolog
1
star
13

iso_tests

Tests for ISO Prolog conformance
Prolog
1
star
14

yap_libs

Prolog
1
star
15

ociao

Prolog
1
star
16

ciao_chr

Leuven CHR System ported to Ciao
Prolog
1
star
17

typeslib

Prolog
1
star
18

deepfind

Prolog
1
star
19

ciao_gsl

Prolog
1
star
20

ciao_vsc

TypeScript
1
star
21

profilercc

Profiler with cost centers
C
1
star