index
NameDescriptionIdleLinks
ready for use
6033dp1LaTeX class for 6.033 design project 112 yearssummarylogtree
6.947fake course web site11 yearssummarylogtree
18.022cheat sheet for vector and multivariable calculus13 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age11 yearssummarylogtree
audiotrondCFA635-based interface for MPD15 monthssummarylogtree
bitutilsscripts to ease working with binary numbers2 yearssummarylogtree
bluespec-bufferBluespec buffer bank9 yearssummarylogtree
debian-abseilDebian packaging for Abseil2 monthssummarylogtree
debian-coqDebian packaging for Coq5 yearssummarylogtree
debian-rcmDebian packaging for rcm3 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk3 yearssummarylogtree
debian-urwebDebian packaging for Ur/Web4 yearssummarylogtree
debian-xcwdDebian packaging for xcwd5 yearssummarylogtree
dewpointcalculate dew points2 yearssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts23 monthssummarylogtree
ecterminal-based RPN calculator23 monthssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle6 yearssummarylogtree
git-fetch-prfetch GitHub pull requests by URL4 yearssummarylogtree
gtd-txtGetting Things Done in plain text2 yearssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies10 yearssummarylogtree
localsubnetsetdmaintain nftables sets for local subnets2 yearssummarylogtree
lytsimple literate programming tool9 yearssummarylogtree
notmuch_watcher.hsrun `notmuch new` whenever mail is delivered to your maildir6 yearssummarylogtree
pavmonPulseAudio sink volume monitor22 monthssummarylogtree
pndpowerdpower management daemon for the OpenPandora handheld8 yearssummarylogtree
scovillefile name translator overlay3 yearssummarylogtree
skipheadpreserve headers when grepping through program output22 monthssummarylogtree
underlying.cfind the underlying program in a wrapper script6 yearssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm10 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions5 yearssummarylogtree
urweb-crypto-random-opensslgenerate cryptographically secure random bytes (please read README.md)8 yearssummarylogtree
urweb-gravatarUr/Web Gravatar library8 yearssummarylogtree
urweb-regexUr/Web regular expression library8 yearssummarylogtree
walkPlan 9 style utilities to replace find(1)18 monthssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine2 yearssummarylogtree
xscreensaver-dbuslet Chrome suspend XScreenSaver during video playback2 yearssummarylogtree
old, unmaintained, or incomplete
Ba new way to look at the Agda standard library9 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml8 yearssummarylogtree
binserC++ code generator for binary serialization/deserialization22 monthssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell2 yearssummarylogtree
cc-skeletonskeleton for C++ projects9 yearssummarylogtree
debian-boogieDebian packaging for Boogie7 yearssummarylogtree
debian-compcertDebian packaging for CompCert9 yearssummarylogtree
debian-dafnyDebian packaging for Dafny7 yearssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF8 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress8 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen9 yearssummarylogtree
git-annex-gplgit-annex without the AGPL22 monthssummarylogtree
glplanetOpenGL-based planetary renderer22 monthssummarylogtree
gsrsupresumable streaming uploads for Google Cloud Storage2 yearssummarylogtree