This is your work, valued
hs-jose. Haskell JOSE and JWT library
136learnyounode-solutions. solutions to rvagg/learnyounode nodejs tutorial
85elk. Moose-like object system for Python
29hs-fresnel. Prism-based parsers and pretty printers
17gcaff. graphical OpenPGP signing assistant
14ledgertools. Utilities for the Ledger accounting system.
12hs-tax. Types and combinators for taxes
11hs-tax-ato. Tax types and computations for Australia
11ebs. evidence based scheduler
8hs-persona-idp. Persona (BrowserID) Identity Provider (IdP)
7notes-redhat. Red Hat development notes
7talks. talks and presentations
7hs-merkle-tree. Merkle trees (of the kind used in Certificate Transparency) ; Crypto.Hash.Tree
4pgpsubmit. WSGI OpenPGP public key submission system
3blog-redhat. Content of my Red Hat development blog
3hs-persona. Persona (BrowserID) library and tools
2hakyll-wkd. Hakyll-based Web Key Directory utility
2powered-up. Haskell library for LEGO PoweredUp! platform (unofficial)
2freebsd-update-repair. freebsd-update(8) system inspection and repair tool
2hs-concise. Utilities for Control.Lens.Cons
2wyas. Write Yourself a Scheme in 48 Hours implementation
2shortcircuit-server. URL redirect resolver
2hs-mlstats. Extract mailing list statistics from notmuch database
2hs-salmon. Pipes experiment: a salmon floating upstream
2cryptography. cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.
1recall-server. a simple recall/concentration game server
1hs-fresnel-asn1. fresnel grammars for ASN.1
1blog-fp. FP blog
1docker-sf. Software Foundations workshop container
1letsencrypt.sh. letsencrypt/acme client implemented as a shell-script
1freeipa. Mirror of FreeIPA, an integrated security information management solution
1awesome-ghci-tricks. amazing GHCi trick
1hs-acid-auth-password. acid-state based password store
1dotfiles. Shell
1course. Functional Programming Course
1certbot. Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.
1drill. algorithms, data structures and interview question drilling
1clevis. Key acquisition framework
1clilib. Simple CLI toolkit.
1gtkchartlib. Collection of GTK+ chart widgets
1