np/munin
munin plugins for bitcoind and litecoind
Developer Profile
np
Discovered public repositories for np in the GitHub catalog.
np/nested-agda
Public repository.
np/qlen
Public repository.
np/timeplot
Analyst's swiss army knife for visualizing data from ad-hoc log files
np/jq
Command-line JSON processor
np/agda-pkg
A simple tool to emulate packages in Agda
np/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
np/norm-paths
Public repository.
np/helios-server
Helios server
np/PyBitmessage
Public repository.
np/guarded-recursion
Guarded recursion in Agda
np/HoTT-Agda
Development of homotopy type theory in Agda
np/liquidprompt
A full-featured & carefully designed adaptive prompt for Bash & Zsh
np/names-for-free
Public repository.
np/bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
np/hasquail
Quail in Haskell
np/eq
Leibnizian type equality
np/colout
Color Up Arbitrary Command Ouput
np/our-boxen
Copy me for your team.
np/alot
commandline MUA using notmuch and urwid
np/csv-nptools
A collection of CSV tools
np/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
np/git-annex-zsh-completion
zsh completion for git-annex
np/xiki
Emacs libs in ruby
np/agda-git-experiment
darcs-bridge experiment with Agda repository
np/vim-colors-solarized
precision colorscheme for the vim text editor
np/xcompose
XCompose configuration file and its generator
np/vim-conf
Public repository.
np/vim-addon-agda
see README
np/zsh-conf
Zsh configuration files
np/yubi-goog
Use a yubikey to authenticate with google's two factor authentication
np/crypto-agda
Public repository.
np/git-annex
a mirror of git-annex's main git repository
np/Coq-Equations
A plugin for Coq to add dependent pattern-matching.
np/sshuttle
Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.
np/Tomb
the Crypto Undertaker
np/turnsole
Curses client for Heliotrope
np/hxmppc
Haskell XMPP (Jabber Client) Command Line Interface (CLI)
np/mbox-tools
A collection of command line tools on the mbox format
np/codec-mbox
An Haskell library to read and write mailboxes in mbox format
np/frquotes
Translate the French-Quotes in a UTF-8 Haskell file into a Quasi-Quotation that can be instantiated later on.
np/hlatex
LaTeX document builder for Haskell
np/tdoc
TDoc is a typed document builder with support for (X)HTML
np/yi
The Haskell-Scriptable Editor
np/bitcoin
Bitcoin integration/staging tree
np/json-tools
A collection of JSON tools
np/bashing-twitter
Twitter tools written in bash
np/mime-bytestring
A for of the mime haskell package to work on bytestrings as well
np/camllexer
An independant OCaml lexer, extracted from OCaml/Camlp4
np/habs
Public repository.