-
-
macports-ports Public
Forked from macports/macports-portsThe MacPorts ports tree
Tcl Other UpdatedDec 17, 2025 -
-
prolog-types Public
Stalled experiments dealing with contraint-based reasoning about Prolog types.
Prolog UpdatedDec 3, 2025 -
official-images Public
Forked from docker-library/official-imagesPrimary source of truth for the Docker "Official Images" program
Shell Apache License 2.0 UpdatedDec 3, 2025 -
org.swi_prolog.swipl Public
Forked from flathub/org.swi_prolog.swiplFlathub file for SWI-Prog
UpdatedNov 19, 2025 -
-
-
-
-
-
-
-
tau-prolog-doge Public
A port of Tau-Prolog Doge example to SWI-Prolog WASM
-
-
-
-
-
-
-
-
-
-
ffi Public
SWI-Prolog dynamic C interface
-
-
clpBNR_pl Public
Forked from ridgeworks/clpBNRCLP(BNR) module for SWI-Prolog
Prolog MIT License UpdatedApr 30, 2024 -
-
pip-janus Public
Experimental repo for PIP management. Do not rely on this.
Prolog UpdatedJan 14, 2024 -
Rserve Public
Forked from s-u/RserveFast, flexible and powerful server providing access to R from many languages and systems
-
{{ message }}