A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.

Light text markup for creating websites

A simple tool to update bib entries with their official information (e.g., DBLP or the ACL anthology).

Cayman is a Jekyll theme for GitHub Pages

Concise, consistent, and legible badges in SVG and raster format

A tool for the dual-head presentation of PDF slides on Mac OS X, most likely using a laptop and a projector. The project arose out of the need to correctly project slides created with LaTeX's beame…

Keyboard firmwares for Atmel AVR and Cortex-M

Karabiner-Elements is a powerful utility for keyboard customization on macOS Sierra (10.12) or later.

Civilization 6 - Chao's Quick UI. Reduce clicks and manage your empire faster!