A GlobalProtect VPN client for Linux, written in Rust, based on OpenConnect and Tauri, supports SSO with MFA, Yubikey, and client certificate authentication, etc.

Emacs Interface to Ack-like Tools

The ICPC Tools - presentations, resolver, CDS, and others.

Configuration files to use with gatling to load test domjudge

put your ICPC contestants in their place

Incremental merge for git

Catnip Sandbox

Dockerfile and installation scripts for DOMjudge

A series of usability improvements for Emacs latex-mode.