Linux kernel source tree

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…

A code-searching tool similar to ack, but faster.

A tiny but valid `init` for containers

xv6 OS

A customisable 3D platform for agent-based AI research

A maintained ctags implementation

Redshift adjusts the color temperature of your screen according to your surroundings. This may help your eyes hurt less if you are working in front of the screen at night.

fake keyboard/mouse input, window management, and more

Reference implementation for the peer-to-peer agent that manages the Stellar network.

TrailDB is an efficient tool for storing and querying series of events

A pause button that pauses the unpausable. Handy for video game cut scenes especially, but can be used for any application, not just games.

Container plugin for Slurm Workload Manager