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

An open-source course on constraint solving

A cpmpy-based library for constraint acquisition.

Label images with a mouse click, within a Jupyter Notebook

This repository contains demos I made with the Transformers library by HuggingFace.

Efficient Explaining CSPs with Unsatisfiable Subset Optimization

A simple package for viewing the 'top' output of multiple machines on a single wegpage.

A generic touchscreen calibration program for X.Org

Keeping track of instructions and patches for building busybox with the android NDK

an simple installer app for Debian on top of Android (click below to download an apk, the bottom is the newest)

UNMAINTAINED please adopt! we can no longer maintain this

Android/bionic port of busybox (merged with official busybox)

conference management system

A generic touchscreen calibration program for X.Org