nilcons/hi2

Stars
33
Rank 766,359 (Top 16 %)
Language
Emacs Lisp
License
GNU General Publi...
Created almost 11 years ago
Updated over 9 years ago

nilcons/hi2

nilcons

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

haskell-indentation 2nd try

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

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