https://github.com/bachorp/mat

The Multi Agent Transportation Problem: Solvers, Evaluations, and Computer-Assisted Proofs

computer-assisted-proof conflict-based-search group-theory multi-agent-path-finding sagemath sat

Last synced: 18 Mar 2025

https://github.com/bachorp/varlink-vscode

Varlink language support for Visual Studio Code and compatible editors

Last synced: 13 Jan 2026

https://github.com/bachorp/no-proxy

`no_proxy`/`NO_PROXY` parser and evaluator.

Last synced: 15 Jun 2025

https://github.com/bachorp/ocidd

Last synced: 16 Mar 2025

https://github.com/bachorp/tide_pwd

Fish plugin providing Tide's pwd-formatting as a standalone function

fish fish-plugin shell

Last synced: 27 Mar 2025

https://github.com/bachorp/install-ca-certs

A single script that can install CA-certificates on multiple platforms

certificate-authority docker shell-script ssl-certificates

Last synced: 14 Apr 2026

https://github.com/bachorp/tree-sitter-varlink

Tree-sitter support for Varlink

Last synced: 13 Jan 2026