A book about Cuis Smalltalk

Active development of Cuis Smalltalk

Java-based lightweight Prolog virtual machine

A VM with adaptive optimization and JIT compilation, built for Rakudo

Rakudo Star (Raku distribution)

🦋 Rakudo – Raku on MoarVM, JVM, and JS

Scheme based powerful lisp interpreter in JavaScript

Scheme Scripting Engine

The Pyret language.

Top-down interpreter for ASP programs with Constraints

A powerful cross-platform raw photo processing program

Static low-bandwidth search at scale

📏 Theory propagator for difference logic using clingo's theory language and C++ API.

🤔 A grounder and solver for logic programs.

Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-1986.

Repository for (for now) filing bug reports about DCIC.

Interpreter for a simple Lisp. Written in Prolog.

Simple timetabling engine for schools

Boolean Constraint Solving in Prolog

A framework for applied category theory in the Julia language

Extend Definite Clause Grammars for Prolog by the corresponding parse tree

CHR: Leuven Constraint Handling Rules

Language based on Rewriting Logic

Compile and run Constraint Handling Rules (CHR) in JavaScript

Some simple examples for new Prolog programmers