nilcons.com (nilcons)

nilcons.com

nilcons

Geek Repo

Location:Zurich, Switzerland

Home Page:http://nilcons.com/

Github PK Tool:Github PK Tool

nilcons.com's repositories

crypto-key-derivation

Document all the mess around bip32+bip39+bip44 and similar key generation schemes

Language:PythonLicense:MITStargazers:35Issues:5Issues:0

ceh

A guild for people who like Nix

haskell-tz

Haskell package shipping the standard time zone database & library to use with it

Language:HaskellLicense:Apache-2.0Stargazers:16Issues:5Issues:18

ipsec-stun-explain

A quick intro to IPSec on the kernel side with STUN and UDP hole punching

Language:CStargazers:14Issues:0Issues:0

haskell-tzdata

Haskell package that distributes the standard time zone database

Language:HaskellLicense:Apache-2.0Stargazers:8Issues:6Issues:3

nics

Nilcons Slides - quality presentations from code

Language:LuaLicense:NOASSERTIONStargazers:8Issues:1Issues:0

agda-coq-intro

Practical Intro to Agda and Coq

Language:AgdaStargazers:5Issues:2Issues:0

agda-coq-setup

Installation instructions and Docker image for Agda and Coq

Language:ShellStargazers:2Issues:2Issues:0

windows-usability

Windows guide for []: power users

Language:ShellStargazers:2Issues:0Issues:0

agda-coq-magyar

Agda és Coq szeminárium

Language:AgdaStargazers:1Issues:0Issues:0

jozsika

A simplified and customized version of Iosevka

Language:ShellStargazers:1Issues:0Issues:0

low-latency-remote

How to have a low latency remote desktop with free software tools

Language:DockerfileStargazers:1Issues:0Issues:0

nics-hello

Starter template for presentations written with nics

License:NOASSERTIONStargazers:1Issues:2Issues:1

ah

Alternative Home directories via Linux Namespaces

Language:ShellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

bunny

Bunny game rewrite mostly by ChatGPT-4

Language:JavaScriptStargazers:0Issues:0Issues:0

debian-docker

Dockerfile for Debian with basic utilities

Language:DockerfileStargazers:0Issues:0Issues:0

emacs-gmail-oauth

Know-how on how to use OAUTH for Gmail authentication with Emacs

Language:CStargazers:0Issues:0Issues:0

funjs

Functional Programming in the Browser

Language:DhallStargazers:0Issues:2Issues:0

jbig2enc-static

JBIG2 Encoder

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

kube-pod-termination

Investigations around Kubernetes Pod Termination

Language:PythonStargazers:0Issues:0Issues:0

libpam-python-pgsql

libpam-pgsql is banned from Debian, so rewrite it with libpam-python

Language:PythonStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0

nilcons-fonts

How to have a fully revised and controlled fontconfig setup

Stargazers:0Issues:0Issues:0

nilcons-i3-xfce

Patches and documentation for having a proper X session with xfce panel and i3-wm

Language:CLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

openafs-tuning

Tuning OpenAFS for higher latency than local network

Stargazers:0Issues:1Issues:0
Language:TeXStargazers:0Issues:1Issues:0

statvfs

haskell statvfs ffi binding

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

vm

tmp

Stargazers:0Issues:2Issues:0

yaml2json

YAML to/from JSON converter

Language:TypeScriptStargazers:0Issues:1Issues:0