David's starred repositories
machtiani-releases
Chat with your git project code
cheriot-rtos
The RTOS components for the CHERIoT research platform
yacy_search_server
Distributed Peer-to-Peer Web Search Engine and Intranet Search Appliance
process-compose
Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.
banning-e2ee-is-stupid
Do you think banning end-to-end encryption is plausible? Think again.
nix-problems
The many issues plaguing Nix
linux-realtime
Guide on how to set-up Linux and Docker for real-time applications using the Ubuntu realtime-kernel/PREEMPT_RT patch with a focus on robotics with ROS and ROS 2
textual-paint
:art: MS Paint in your terminal.
Grants-Program
Apply for Grants to build on the Mintbase infrastructure.