nilcons.com's repositories
firefox-hacks
How to make Firefox usable
crypto-key-derivation
Document all the mess around bip32+bip39+bip44 and similar key generation schemes
haskell-tz
Haskell package shipping the standard time zone database & library to use with it
ipsec-stun-explain
A quick intro to IPSec on the kernel side with STUN and UDP hole punching
haskell-tzdata
Haskell package that distributes the standard time zone database
agda-coq-intro
Practical Intro to Agda and Coq
agda-coq-setup
Installation instructions and Docker image for Agda and Coq
windows-usability
Windows guide for []: power users
agda-coq-magyar
Agda és Coq szeminárium
low-latency-remote
How to have a low latency remote desktop with free software tools
nics-hello
Starter template for presentations written with nics
bunny
Bunny game rewrite mostly by ChatGPT-4
debian-docker
Dockerfile for Debian with basic utilities
emacs-gmail-oauth
Know-how on how to use OAUTH for Gmail authentication with Emacs
jbig2enc-static
JBIG2 Encoder
kube-pod-termination
Investigations around Kubernetes Pod Termination
libpam-python-pgsql
libpam-pgsql is banned from Debian, so rewrite it with libpam-python
nilcons-fonts
How to have a fully revised and controlled fontconfig setup
nilcons-i3-xfce
Patches and documentation for having a proper X session with xfce panel and i3-wm
openafs-tuning
Tuning OpenAFS for higher latency than local network