Explore @nilcons Open Source projects

nilcons.com (@nilcons)

nilcons

Stars
493
Global Org. Rank 23,683 (Top 8 %)
Registered over 10 years ago
Most used languages

Haskell
39.1 %

Shell
17.4 %

Agda 8.7 %

Emacs Lisp
8.7 %

C
8.7 %

Perl
4.3 %

Lua
4.3 %

Dockerfile
4.3 %

Python
4.3 %
Location 🇨🇭 Switzerland
Country Total Rank 699
Country Ranking

Agda 1

Emacs Lisp
14

Haskell
24

Perl
35

Lua
63

Shell
97

Dockerfile
270

C
335

Python
868

firefox-hacks

How to make Firefox usable

emacs-use-package-fast

Discussion on how to achieve fast initialization of emacs using melpa with use-package

ghc-musl

Using GHC with musl libc to get true static linking

crypto-key-derivation

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

hi2

haskell-indentation 2nd try

ceh

A guild for people who like Nix

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

hflags

Command line flag parser for Haskell, conceptually very similar to Google's gflags

haskell-tzdata

Haskell package that distributes the standard time zone database

nics

Nilcons Slides - quality presentations from code

nc-indicators

CPU load and memory usage indicator "applet" for i3bar

lens-datetime

Lenses for Data.Time.* types

PrefetchFS

prefetchfs: a FUSE filesystem for prefetching big files on-demand (implemented in Haskell)

cgroup-infos

Knowhow on how to use cgroups on your desktop

agda-coq-intro

Practical Intro to Agda and Coq

windows-usability

Windows guide for []: power users

agda-coq-setup

Installation instructions and Docker image for Agda and Coq

gists

Code snippets and short notes from Nilcons

low-latency-remote

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

zproxy

Persistent TCP connections

agda-coq-magyar

Agda és Coq szeminárium

tag-game

Simple tag game in Haskell

nics-hello

Starter template for presentations written with nics

jozsika

A simplified and customized version of Iosevka