My public programs and models - mostly combinatorial problems and puzzles

Generic Constraint Development Environment

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

A Constraint Satisfaction Problem Solver in Pure Swift

A Robust Inverse Kinematics Library

JMiniZinc

Successive Convexification with Continuous-Time Constraint Satisfaction

Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction

(WIP) Optimizing bin packing constraint solver for Elixir

A lightweight CNF SAT constraint encoder library

Solve Sudoku with Python using the CSF approach

A design pattern detection tool based on constraint satisfaction

A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.

Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks

A physics haiku bot built to explore generated dataset curation, prompt design, supervised fine-tuning, and structured-output evaluation in a small language model

Proof of concept

Search, Knowledge, Uncertainty, Optimization, Learning, Neural Networks and Language.

TP2 RP: Solving the Knight’s Tour problem using a genetic algorithm

Experiments in building a constraint workbench.

Three algorithmic optimization projects from IST's Algorithm Analysis and Synthesis course: dynamic programming for operator parenthesization, graph algorithms for metro network analysis, and linear programming for resource allocation. Implemented in C++ and Python with focus on efficiency and competitive programming techniques.