Source code for the https://computerenhance.com programming series

Vim Space Controller

Gemini is a modern LaTex beamerposter theme 🖼

Interoperable Scheme and JavaScript. Inspired by The Little Schemer, 4th Ed.

🐍 An improved Python library to control i3wm and sway.

🌺 Minimalist Vim Plugin Manager

🌷 Distraction-free writing in Vim

🔦 All the world's indeed a stage and we are merely players

CoCalc: Collaborative Calculation in the Cloud

Advanced text editor for Macaulay2

Snapshot of North Korea's DNS data taken from zone transfers.

A Coq library for Homotopy Type Theory

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

A command line tool for pixel sorting your images, written in C / C++

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

word definitions and morphological transformations

Examples for the usage of LaTeX

fixubuntu.com

Bitcoin Core integration/staging tree

Facebook Data Mining