nilcons/agda-coq-setup

Stars
2
Language
Shell
Created over 4 years ago
Updated over 4 years ago

nilcons/agda-coq-setup

nilcons

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

Installation instructions and Docker image for Agda and Coq

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

nics

Nilcons Slides - quality presentations from code

haskell-tzdata

Haskell package that distributes the standard time zone database

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

gists

Code snippets and short notes from Nilcons

nilcons-i3-xfce

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

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