index
NameDescriptionIdleLinks
ready for use
6033dp1LaTeX class for 6.033 design project 113 yearssummarylogtree
6.947fake course web site12 yearssummarylogtree
18.022cheat sheet for vector and multivariable calculus14 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age12 yearssummarylogtree
audiotrondCFA635-based interface for MPD2 yearssummarylogtree
bitutilsscripts to ease working with binary numbers3 yearssummarylogtree
bluespec-bufferBluespec buffer bank10 yearssummarylogtree
debian-abseilDebian packaging for Abseil2 monthssummarylogtree
debian-coqDebian packaging for Coq6 yearssummarylogtree
debian-rcmDebian packaging for rcm4 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk4 yearssummarylogtree
debian-urwebDebian packaging for Ur/Web4 yearssummarylogtree
debian-xcwdDebian packaging for xcwd6 yearssummarylogtree
dewpointcalculate dew points3 yearssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts3 yearssummarylogtree
ecterminal-based RPN calculator3 yearssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle7 yearssummarylogtree
git-fetch-prfetch GitHub pull requests by URL4 yearssummarylogtree
gtd-txtGetting Things Done in plain text3 yearssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies11 yearssummarylogtree
localsubnetsetdmaintain nftables sets for local subnets3 yearssummarylogtree
lytsimple literate programming tool10 yearssummarylogtree
notmuch_watcher.hsrun `notmuch new` whenever mail is delivered to your maildir7 yearssummarylogtree
pavmonPulseAudio sink volume monitor3 yearssummarylogtree
pndpowerdpower management daemon for the OpenPandora handheld8 yearssummarylogtree
scovillefile name translator overlay4 yearssummarylogtree
skipheadpreserve headers when grepping through program output3 yearssummarylogtree
underlying.cfind the underlying program in a wrapper script7 yearssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm11 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions6 yearssummarylogtree
urweb-crypto-random-opensslgenerate cryptographically secure random bytes (please read README.md)9 yearssummarylogtree
urweb-gravatarUr/Web Gravatar library9 yearssummarylogtree
urweb-regexUr/Web regular expression library9 yearssummarylogtree
walkPlan 9 style utilities to replace find(1)2 yearssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine6 monthssummarylogtree
xscreensaver-dbuslet Chrome suspend XScreenSaver during video playback3 yearssummarylogtree
old, unmaintained, or incomplete
Ba new way to look at the Agda standard library9 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml9 yearssummarylogtree
binserC++ code generator for binary serialization/deserialization3 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell3 yearssummarylogtree
cc-skeletonskeleton for C++ projects10 yearssummarylogtree
debian-boogieDebian packaging for Boogie8 yearssummarylogtree
debian-compcertDebian packaging for CompCert10 yearssummarylogtree
debian-dafnyDebian packaging for Dafny8 yearssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF9 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress9 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen10 yearssummarylogtree
git-annex-gplgit-annex without the AGPL3 yearssummarylogtree
glplanetOpenGL-based planetary renderer3 yearssummarylogtree
gsrsupresumable streaming uploads for Google Cloud Storage3 yearssummarylogtree