• Stars
    star
    5
  • Rank 2,801,007 (Top 57 %)
  • Language
    C
  • Created over 5 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

Knowhow on how to use cgroups on your desktop

More Repositories

1

firefox-hacks

How to make Firefox usable
129
star
2

emacs-use-package-fast

Discussion on how to achieve fast initialization of emacs using melpa with use-package
Emacs Lisp
102
star
3

ghc-musl

Using GHC with musl libc to get true static linking
Shell
75
star
4

crypto-key-derivation

Document all the mess around bip32+bip39+bip44 and similar key generation schemes
Python
34
star
5

hi2

haskell-indentation 2nd try
Emacs Lisp
33
star
6

ceh

A guild for people who like Nix
Perl
23
star
7

haskell-tz

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

ipsec-stun-explain

A quick intro to IPSec on the kernel side with STUN and UDP hole punching
C
12
star
9

hflags

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

haskell-tzdata

Haskell package that distributes the standard time zone database
Haskell
8
star
11

nics

Nilcons Slides - quality presentations from code
Lua
8
star
12

nc-indicators

CPU load and memory usage indicator "applet" for i3bar
Haskell
8
star
13

lens-datetime

Lenses for Data.Time.* types
Haskell
6
star
14

PrefetchFS

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

agda-coq-intro

Practical Intro to Agda and Coq
Agda
5
star
16

windows-usability

Windows guide for []: power users
Shell
2
star
17

agda-coq-setup

Installation instructions and Docker image for Agda and Coq
Shell
2
star
18

gists

Code snippets and short notes from Nilcons
Haskell
2
star
19

low-latency-remote

How to have a low latency remote desktop with free software tools
Dockerfile
1
star
20

zproxy

Persistent TCP connections
Haskell
1
star
21

agda-coq-magyar

Agda Γ©s Coq szeminΓ‘rium
Agda
1
star
22

tag-game

Simple tag game in Haskell
Haskell
1
star
23

nics-hello

Starter template for presentations written with nics
1
star
24

jozsika

A simplified and customized version of Iosevka
Shell
1
star