zhml - Codeberg.org

The LibreWolf Website - New content will automatically be published when pushed to the master branch.

Updated 2026年07月12日 19:58:27 +02:00

Collection of system utilities for use with Ironclad, aimed to provide a similar solution to other system tools like util-linux, procps-ng, e2fsprogs, and others.

autotools c system util-linux

Updated 2026年07月09日 10:51:20 +02:00

feed reader for terminal

c terminal rss tui ncurses console curses atom feed syndication feed-aggregator feed-reader

Updated 2026年07月04日 12:24:17 +02:00

Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

ada embedded formal-verification kernel operating-system spark

Updated 2026年05月31日 06:55:37 +02:00

Customised mkws shell script that makes a blog

Updated 2026年03月07日 18:02:49 +01:00