Updated 3 days ago
latest versions of the fig programming language and the fig os operating system
Updated 3 days ago
Various scripts and snippets for the world and for my own reference
Updated 3 days ago
These are my dotfiles, have fun with them. They are shared as is.
Updated 3 days ago
Whiptail menu for various scripts which filter on DNS level. Intended only for IPFire firewall !
Updated 3 days ago
A toy HTTP server in development Goals: secure, scalable (vertically and horizontally), not excessively slow, separation of privilege (and knowledge: HTTP code doesn't have to know TLS key) ...
Updated 3 days ago
Updated 4 days ago
This repository contains my debian configuraiton files. Feel free to add/modify more confs.
Updated 4 days ago
Minetest Mod to simulate several physiological stress types: - exhaustion by working - hunger - thirst - sunburn - anger by darkness
Updated 4 days ago
Formally verified microkernel: Will it replace Linux on GNU systems?
Updated 4 days ago
An attempt to control websites JavaScript access within a simple userscript.
Updated 4 days ago
Updated 4 days ago
Updated 4 days ago
Converts asciinema casts to latex, then renders pdf. Gets GNOME Terminal color scheme from dconf.
Updated 4 days ago
Updated 4 days ago
An attempt to control websites JavaScript access within a simple userscript.
Updated 4 days ago
Updated 4 days ago
This is the website for CC Radio, which includes the liquidsoap script.
Updated 4 days ago