• Stars
    star
    12
  • Rank 1,562,317 (Top 32 %)
  • Language
    Haskell
  • License
    Apache License 2.0
  • Created about 12 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

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

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

haskell-tzdata

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

nics

Nilcons Slides - quality presentations from code
Lua
8
star
11

nc-indicators

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

lens-datetime

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

PrefetchFS

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

cgroup-infos

Knowhow on how to use cgroups on your desktop
C
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