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

Just for practice.

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

A privacy respecting, hackable Metasearch-Engine

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

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