Prolog Engine in Emacs Lisp

interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)

A command-line benchmarking tool

Python interface for SWI-Prolog

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

Top-down interpreter for ASP programs with Constraints

Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.

Probabilistic programming via source rewriting

A modern Prolog implementation written mostly in Rust.

ConstraintSolver in Julia: Blog posts ->

Programming in Tabled Prolog by David S Warren

PEQNP Mathematical Solver

The Julia Programming Language

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Example models for Stan

CmdStan, the command line interface to Stan

(Deprecated) Experimental PyMC interface for TensorFlow Probability. Official work on this project has been discontinued.

brms R package for Bayesian generalized multivariate non-linear multilevel models using Stan

rstanarm R package for Bayesian applied regression modeling

SWI-Prolog Main development repository

SWI-Prolog for SHaring: a SWI-Prolog web IDE

Bayesian Modeling and Probabilistic Programming in Python

PyStan, the Python interface to Stan

RStan, the R interface to Stan

Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.

git mirror with some local fixes. currently not uptodate

Auto-WEKA

Artificial Intelligence for Humans