Filter
Sort
Updated 2026年07月08日 02:11:27 +02:00
Toybox combines many common Linux command line utilities together into a single BSD-licensed executable.
Updated 2026年06月09日 04:07:53 +02:00
Remote repo storing my website
Updated 2026年05月28日 02:14:23 +02:00
Portable C "configure" script framework
Updated 2026年05月19日 16:44:15 +02:00
Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.
Updated 2026年04月10日 02:08:06 +02:00
My kitchen sink library, used by l1 and others
Updated 2026年04月10日 00:10:50 +02:00
Updated 2026年04月09日 05:50:43 +02:00
An OS built with the Ironclad kernel and GNU tools
Updated 2026年04月09日 00:57:00 +02:00
KISS Linux - Officially Unofficial Repositories
Updated 2026年03月24日 07:34:14 +01:00
My personal, opinionated KISS Linux repository
Updated 2026年03月18日 19:42:42 +01:00
My dotfiles
Updated 2026年03月12日 00:54:30 +01:00
KISS Linux - Package Manager
Updated 2026年03月11日 06:12:23 +01:00
Stoat API C library
Updated 2026年02月15日 01:58:26 +01:00
l3 is a permissively licensed portable ANSI/POSIX C standard library written in C11/GNU99.
Updated 2025年12月17日 20:18:27 +01:00
Toolchain in a box
Updated 2025年12月01日 23:54:39 +01:00