Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.

$ A blazingly fast Zsh syntax highlighter 🌈

Visualization of MCTS algorithm applied to Tic-tac-toe.

Fast linters runner for Go

Multi-platform SDK for integrating GitHub Copilot Agent into apps and services

Google's Operations Research tools:

A powerful little TUI framework 🏗

a git command to display an overview of the status of many git projects at once

A simple TUI to visualize regular expressions right in your terminal.

Git powered terminal-based todo/note manager -- markdown note page per task. Single binary!

A Python Blog about data science, algorithms, dataviz

Guidelines Support Library

Editor Code Assistant (ECA) integration for Emacs

C++ implementation of a k-shortest simple path algorithm using biobjective path search as a subroutine.

An implementation of the k-shorest-paths algorithm in Cpp

The official C++ Weekly Repository. Code samples and notes of future / past episodes will land here at various times. PR's will be accepted in some cases.

Code for the submitted SOCS 2017 paper "An Analysis and Enhancement of the Gap Heuristic for the Pancake Puzzle"

An optimal MAPF sovler: CBS+prioritizing conflicts+bypassing+high-level heuritstics+symmetry reasoning

Conflict-Based Search implementation in Kotlin

Multi-agent pathfinding via Conflict Based Search

Go configuration with fangs

A Commander for modern Go CLI interactions

Golang AI applications have incredible potential. With unique features like inexplicable speed, easy debugging, concurrency, and excellent libraries for ML, deep learning, and reinforcement learning.

Work with local and cloud LLMs from Emacs.

Major mode for editing GMPL (MathProg) files

A Python package for visualizing the geometry of linear programs.

Expression language and expression evaluation for Go

A markup-based typesetting system that is powerful and easy to learn.