Papers from the computer science community to read and discuss.

A docker-powered PaaS that helps you build and manage the lifecycle of applications

An innovative superfamily of fonts for code

A typeface designed for source code

Mirror of https://gitlab.redox-os.org/redox-os/redox

Docker implemented in around 100 lines of bash

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…

Bash Automated Testing System

letsencrypt/acme client implemented as a shell-script – just add water

Riak is a decentralized datastore from Basho Technologies.

Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]

Everything you need to know about cross compiling Rust programs!

Decentralized Privacy-Preserving Proximity Tracing -- Documents

An fzf terminal UI for systemctl

Command prefixing for continuous workflow using a single tool.

Bastille is an open-source system for automating deployment and management of containerized applications on FreeBSD.

A minimalist package manager for fish shell

pot: another container framework for FreeBSD, based on jails, ZFS and pf

Build commit message in the comments of your code

A KISS deployment tool to keep your NixOS fleet (servers & workstations) up to date.

test your commits

🚀 A super fast and extremely minimal shell prompt.

Stacked diff support for GitHub workflows

Pipe in and out of $EDITOR

Use named netns (net namespace) with systemd services!

Manage your identity in Git

Lightweight logging framework for bash

A GitHub Action that creates meaningful pull requests with updates to your niv-managed dependencies, so you don't have to do menial chores.

Selective routing through your corporate VPN