Linux
Linux is a family of free and open-source software Unix-like operating systems based on the Linux kernel, which was first released on 17 September 1991 by Linus Torvalds. Some members of the family are typically packaged as a distribution, which includes the kernel alongside supporting system software and libraries developed by third parties—such as GNU, Red Hat, and X.Org—to create a complete operating system; however, not all Linux-based operating systems are considered distros, with Android being an example. Linux was originally designed as a clone of Unix and is distributed under the copyleft GPL license.
Related work
- mops-cli Key work Apr 2026
It ships as a Debian package (make deb) with a man page and bash completion.
- DREDGE save editor Key work Aug 2026
Finding saves automatically on macOS, Windows and Linux.
- ANSIX Sep 2025
ANSIX is an Ansible project for configuring Linux servers, with the ability to create the servers themselves on AWS EC2 first.
- Personal APT repository Mar 2024
Personal APT repository is an experiment in building Debian packages and hosting them in a signed APT repository, the format apt install reads from.
- CMS setup scripts Oct 2023
CMS setup scripts install and run CMS, the open-source Contest Management System used for programming contests such as the IOI, on Ubuntu 20.04.
- Terraform EC2 demo Oct 2025
A Terraform configuration creates one Ubuntu EC2 instance with a public IP address in the account's default network, and allows SSH access with the user's own existing key.
- devenv Aug 2024
A Makefile and shell scripts back the current machine's settings up into the repository, for macOS or Ubuntu, so a new machine can be set up the same way.
- Arch Linux ARM in Docker Apr 2024
Arch Linux ARM in Docker builds a Docker image of Arch Linux for 64-bit ARM machines, such as Apple Silicon Macs.