Stars
A project to reduce graph configurations as part of the four color theorem proof in Python
Gonthier's formal proof of the 4-color theorem, in Coq.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
A simple web based persistent scheduler with adjustable start/end times.
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
Opencore Configuration of KVM Hackintosh with tweaks
The first and only publicly available Minecraft XDP Filter, protecting your server from layer 7 DDoS attacks
Safe and simple one-script git synchronization
A file manager plugin for the editor "Micro"
Guide and files to help install modern Debian (12.13) on a Macbook1,1 (CoreDuo).
Enhanced and security-focused fork of Signal.
A place for all types of Termux packages.
Visualisation of symmetrical components using Processing
Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, and using fast algorithms. Pijul gathers most of the flame-w…
Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs
TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.
Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]
A new language server for Julia, enabling modern, compiler-powered tooling.