ciao
by ciao-lang
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
AI summary
Prolog compiler
A logic-based programming language implementation with a portable and modular design
- stars
- 278
- forks
- 22
- watching
- 21
- awesome lists
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Prolog editor
An Emacs mode providing syntax highlighting, debugging, and compilation facilities for a Prolog programming language.
Prolog compiler library
A Common Lisp library that provides a translator from S-expression to ISO-standardized Prolog language and integrates with various Prolog compilers for efficient execution.
OAuth client
An OAuth 2.0 client library for Common Lisp
Prolog compiler
A high-performance Prolog compiler with support for various input/output methods and interface to C.
Recursive language compiler
A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation
Prolog implementation
An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality.
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
Language teaching tool
A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting
Compiler
A compiler and interpreter for executing C code on the fly as it is typed.
C compiler
A C compiler written in the C2 language itself.
Type compiler
A programming language compiler and interpreter built on top of Haskell's type system.
Compiler
A simple programming language written in C that is compiled to C.
V compiler
An implementation of a programming language interpreter in V.
Compiler
A Haskell implementation of a compiler for a custom programming language
ziglang/zig35.4K
Software compiler
A general-purpose programming language and toolchain for building robust, maintainable software
Featured in 3 awesome lists
Each link jumps to the spot where the list mentions ciao.
