There are no reviews yet. Be the first to send feedback to the community and the maintainers!
firefox-hacks
How to make Firefox usableemacs-use-package-fast
Discussion on how to achieve fast initialization of emacs using melpa with use-packageghc-musl
Using GHC with musl libc to get true static linkingcrypto-key-derivation
Document all the mess around bip32+bip39+bip44 and similar key generation schemeshi2
haskell-indentation 2nd tryceh
A guild for people who like Nixhaskell-tz
Haskell package shipping the standard time zone database & library to use with itipsec-stun-explain
A quick intro to IPSec on the kernel side with STUN and UDP hole punchinghflags
Command line flag parser for Haskell, conceptually very similar to Google's gflagsnics
Nilcons Slides - quality presentations from codehaskell-tzdata
Haskell package that distributes the standard time zone databasenc-indicators
CPU load and memory usage indicator "applet" for i3barlens-datetime
Lenses for Data.Time.* typesPrefetchFS
prefetchfs: a FUSE filesystem for prefetching big files on-demand (implemented in Haskell)cgroup-infos
Knowhow on how to use cgroups on your desktopagda-coq-intro
Practical Intro to Agda and Coqwindows-usability
Windows guide for []: power usersagda-coq-setup
Installation instructions and Docker image for Agda and Coqgists
Code snippets and short notes from Nilconsnilcons-i3-xfce
Patches and documentation for having a proper X session with xfce panel and i3-wmzproxy
Persistent TCP connectionsagda-coq-magyar
Agda és Coq szemináriumtag-game
Simple tag game in Haskellnics-hello
Starter template for presentations written with nicsjozsika
A simplified and customized version of IosevkaLove Open Source and this site? Check out how you can help us