Enhancing the Factorio experience with SAT solvers

SumatraPDF reader

C++ template library for high performance SIMD based sorting algorithms

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq

LaTeX package to typeset material for the fifth edition of the "world's greatest roleplaying game".

Development repo of Inconsolata Fonts by Raph Levien

Notepad++ official repository

Long Range Zip

🇳🇱🇧🇪🇸🇷 Dutch word list by OpenTaal

The Libertinus font family

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

noUiSlider is a lightweight, ARIA-accessible JavaScript range slider with multi-touch and keyboard support. It is fully GPU animated: no reflows, so it is fast; even on older devices. It also fits …

Competitive Programmer's Handbook