Stars
KuberLogic turns a containerized application into a functional SaaS offering, with integrated billing, monitoring, and customer management.
APALACHE: symbolic model checker for TLA+ and Quint
Simple Linux seccomp rules without writing any code
[ARCHIVED] Modern reimplementation of the Diablo 1 game engine
Can stream an ~20 minutes ASCII movie via Telnet emulation as stand alone server or via xinetd daemon. Using famous ASCII art animation from www.asciimation.co.nz (Star ASCIIMATION Wars)
[GUC] Buffalo + Plex project source repository
USBGuard is a software framework for implementing USB device authorization policies (what kind of USB devices are authorized) as well as method of use policies (how a USB device may interact with t…
A simple tool to download video lectures from edx.org (and other openedx sites)
Master the command line, in one page
Boot a Linux kernel in a VM without a dedicated root filesystem.
Chromium OS Universal Chroot Environment (EOL)
Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these s…
A curated list of awesome awesomeness
Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)