• Joined on 2025年04月18日
Filter
Sort
feed reader for terminal
Updated 2026年06月10日 23:57:22 +02:00
My fork of coreboot for my Macbookair5,2
Updated 2026年05月03日 03:17:50 +02:00
Customised mkws shell script that makes a blog
Updated 2026年03月08日 00:00:34 +01:00
My website source code
Updated 2026年01月24日 12:01:29 +01:00
The crux ports I need
Updated 2025年12月01日 14:19:49 +01:00
My linux config files
Updated 2025年11月01日 11:19:44 +01:00
My muttrc.
Updated 2025年11月01日 11:18:48 +01:00
My bashrc
Updated 2025年10月18日 08:18:45 +02:00
My i3 config file
Updated 2025年09月13日 05:24:17 +02:00
My vim config file
Updated 2025年09月13日 04:19:53 +02:00
My alacritty config file
Updated 2025年09月07日 06:38:43 +02:00
My sway config file
Updated 2025年07月13日 03:52:10 +02:00
My waybar config files
Updated 2025年07月13日 03:51:59 +02:00
Updated 2025年06月05日 05:59:49 +02:00
Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.
Updated 2025年06月02日 04:45:45 +02:00