Pinned Repositories
ceh
A guild for people who like Nix
crypto-key-derivation
Document all the mess around bip32+bip39+bip44 and similar key generation schemes
emacs-use-package-fast
Discussion on how to achieve fast initialization of emacs using melpa with use-package
firefox-hacks
How to make Firefox usable
ghc-musl
Using GHC with musl libc to get true static linking
haskell-tz
Haskell package shipping the standard time zone database & library to use with it
hflags
Command line flag parser for Haskell, conceptually very similar to Google's gflags
hi2
haskell-indentation 2nd try
ipsec-stun-explain
A quick intro to IPSec on the kernel side with STUN and UDP hole punching
nc-indicators
CPU load and memory usage indicator "applet" for i3bar
nilcons.com's Repositories
nilcons/firefox-hacks
How to make Firefox usable
nilcons/crypto-key-derivation
Document all the mess around bip32+bip39+bip44 and similar key generation schemes
nilcons/ceh
A guild for people who like Nix
nilcons/haskell-tz
Haskell package shipping the standard time zone database & library to use with it
nilcons/ipsec-stun-explain
A quick intro to IPSec on the kernel side with STUN and UDP hole punching
nilcons/haskell-tzdata
Haskell package that distributes the standard time zone database
nilcons/nics
Nilcons Slides - quality presentations from code
nilcons/agda-coq-intro
Practical Intro to Agda and Coq
nilcons/agda-coq-setup
Installation instructions and Docker image for Agda and Coq
nilcons/windows-usability
Windows guide for []: power users
nilcons/agda-coq-magyar
Agda és Coq szeminárium
nilcons/jozsika
A simplified and customized version of Iosevka
nilcons/low-latency-remote
How to have a low latency remote desktop with free software tools
nilcons/nics-hello
Starter template for presentations written with nics
nilcons/ah
Alternative Home directories via Linux Namespaces
nilcons/bunny
Bunny game rewrite mostly by ChatGPT-4
nilcons/debian-docker
Dockerfile for Debian with basic utilities
nilcons/emacs-gmail-oauth
Know-how on how to use OAUTH for Gmail authentication with Emacs
nilcons/funjs
Functional Programming in the Browser
nilcons/jbig2enc-static
JBIG2 Encoder
nilcons/kube-pod-termination
Investigations around Kubernetes Pod Termination
nilcons/libpam-python-pgsql
libpam-pgsql is banned from Debian, so rewrite it with libpam-python
nilcons/linux-kernel-ipv6-ndp-proxy-debug
nilcons/nilcons-fonts
How to have a fully revised and controlled fontconfig setup
nilcons/nilcons-i3-xfce
Patches and documentation for having a proper X session with xfce panel and i3-wm
nilcons/openafs-tuning
Tuning OpenAFS for higher latency than local network
nilcons/securecpp
nilcons/statvfs
haskell statvfs ffi binding
nilcons/vm
tmp
nilcons/yaml2json
YAML to/from JSON converter