A powerful Go codebase analyzer that transforms code into explorable graphs, enabling AI assistants to understand complex codebases through the Model Context Protocol (MCP).

A sphinx extension to create figures with multiple images

Abseil Common Libraries (C++)

A minimal example of how to use a Pixi workspace

Convert graphs generated by Graphviz to LaTeX friendly formats

A framework which comes with prepared scenes and classes to kickstart your card game, as well as a powerful scripting engine to use to provide full rules enforcement.

A curated list of amazingly awesome LÖVE libraries, resources and shiny things.

A turn-based card game built with Love2D featuring AI opponent, drag-and-drop gameplay, and comprehensive testing. Includes modular architecture with scene management, animation system, and respons…

COIN-OR Linear Programming Solver

A Sphinx extension that builds galleries from myst-style markdown, notebook or rst files.

Small example Sphinx project with Myst using crosslinks for md and rst files

A Generalized Suffix Tree for any Python iterable using Ukkonen's algorithm, with Lowest Common Ancestor retrieval.

Lucene++ is an up to date C++ port of the popular Java Lucene library, a high-performance, full-featured text search engine.

A website that simulates various finite state machines: DFA, NFA, PDA.

Python interface for the SCIP Optimization Suite

Tools based on AI for helping with Lean 4

My emacs configuration

Selected Solutions to Dummit and Foote's Abstract Algebra Third Edition

DuckDB Explain Visualizer (DEV) based on pev2

This project is about formally verifying Seymour's decomposition theorem for regular matroids.

The Chuffed CP solver

COIN-OR Branch-and-Cut solver

A fast SAT solver

Implementation of Boldyreva's symmetric order-preserving encryption in Python

A lightweight TUI application to view and query tabular data files, such as CSV, TSV, and parquet.

PG-Strom - Master development repository