Starred repositories
The opened source code of the Picat compiler, interpreter, and library.
solutions in SWI-Prolog, Dart, Picat to Advent of Code puzzles
This repo contains my solutions to the AOC25 (Advent of Code 2025)
3
Updated Dec 12, 2025
A language that kicks the ball between the legs of functional and imperative programming
Tutorial project for constructing Lime Sudoku aka Minesweeper Sudoku
Learning Constraint Programming with Picat
trying to formalize the specs of the picat programming language
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)
CP+SAT solver framework built to be reliable, performant, and extensible
SNOBOL4 string pattern matching library for Python.
A constraint programming solver with support for proof logging
A small Dijkstra/A*-based planner module for Picat.
1
Updated Apr 30, 2025
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)
100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
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