The Mercury logic programming system.

A macro to define clojure functions with parameter pattern matching just like erlang or elixir.

Unification library

Generative test runner

SWI-Prolog Main development repository

Clojure(Script)'s missing piece

High performance dynamic arrays and vectors in Prolog

A modern Prolog implementation written mostly in Rust.

Constraint Logic Programming over Integers

Clojure homebrew tap providing Clojure formulae

GNU-Emacs interface that embeds Prolog as an Emacs module

Advent of Code 2024 in Prolog

A tool used to develop Polylith based architectures in Clojure.

A Clojure game library

A Clojure and ClojureScript game library

A Clojure 3D Game Engine (Wrapper), Powered by jMonkeyEngine

A port of Clojure to the CLR, part of the Clojure project

Lasertag is a library for categorizing types of values in Clojure, ClojureScript, and Babashka

Rich text console printing for Clojure, ClojureScript, and Babashka.

Helpful java.time utility functions for Clojure

quickcheck of stateful protocols

Introduction to modern Prolog

A standalone implementation of Leiningen's meta-merge function

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

Modded Mayor choices for They Are Billions (TAB)

Tools & Research notes for modding "They Are Billions"

CIEL Is an Extended Lisp. Scripting with batteries included.