OS built with the Ironclad kernel and using GNU tools for the userland, along with some original applications like util-ironclad. Gloire is capable of running Xorg-based desktop environments, games...
Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.
postmarketOS is an operating system primarily for smartphones. We choose our software components carefully and work upstream-first to keep devices useful with up-to-date software for years even aft...
Guide to privacy settings for most major software and services.
Tails is a live operating system that can be started on almost any computer from a USB stick or a DVD. Tails preserves its users’ privacy and anonymity, and is widely used by journalists, activis...
Accessible-Coconut(AC)is a community-driven GNU/Linux operating system that is fully accessible for individuals with visual impairments. AC is based on Ubuntu MATE. The goal is to create a free and...
A Chaos Engineering Platform for Kubernetes.
A Chaos Engineering Platform for Kubernetes.
Lin0 (Linux zero) is a super minimal source based linux meta distribution, aimed at power users or minimalism enthusiasts. It was born from exercises in how minimal a linux system can get. The dis...
Python module to manage the DP-EH600 thermal printer (the one sold by AdaFruit). I'm the owner.
Python module to communicate with WKS EKO Circle inverters. I'm the owner.
Draw candlesticks charts right into your terminal, using Python!. I'm the owner.
Python library, and shell utilities, to monitor filesystem events. I'm the lead developer, and maintainer, since 2018.
An ultra fast cross-platform multiple screenshots module in pure python using ctypes. I'm the owner.