Genetic computing for physical constants

An open-source course on constraint solving

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

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

A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

SNOBOL4 string pattern matching library for Python.

SNOBOL4 source and include programs

CBLS solver

A constraint programming solver with support for proof logging

A small Dijkstra/A*-based planner module for Picat.

turtles, patches, and links for kids, teachers, and scientists

Lightweight coding agent that runs in your terminal

CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)

50+ solvers for logical puzzles, with 8k+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Solved via SCI…

Some simple Pop-11 examples that highlight some of the talking points of Pop-11

Web IDE for the Picat language based on Blazor and Monaco

All Algorithms implemented in Python

Advent of Operations Research 2024

Advent Of Code2024 (in Picat)

Combinatorics in Picat

Solutions to the Advent of Code 2024 puzzles.

Prolog, Datalog, languages, resources, and beyond!

probabilistic programming focused on fun

Probabilistic Programming

A series of Jupyter notebooks for my Medium articles.

My solutions to the problems in Fifty Challenging Problems in Probability by Frederick Mosteller

Constraint programming solver