index
NameDescriptionIdleLinks
ready for use
6033dp1LaTeX class for 6.033 design project 110 yearssummarylogtree
6.947fake course web site9 yearssummarylogtree
18.022cheat sheet for vector and multivariable calculus11 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age9 yearssummarylogtree
bitutilsscripts to ease working with binary numbers9 monthssummarylogtree
bluespec-bufferBluespec buffer bank7 yearssummarylogtree
debian-abseilDebian packaging for Abseil4 monthssummarylogtree
debian-coqDebian packaging for Coq3 yearssummarylogtree
debian-rcmDebian packaging for rcm19 monthssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk16 monthssummarylogtree
debian-urwebDebian packaging for Ur/Web24 monthssummarylogtree
debian-xcwdDebian packaging for xcwd4 yearssummarylogtree
dewpointcalculate dew points7 monthssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts5 monthssummarylogtree
ecterminal-based RPN calculator5 monthssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle5 yearssummarylogtree
git-fetch-prfetch GitHub pull requests by URL24 monthssummarylogtree
gtd-txtGetting Things Done in plain text9 monthssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies8 yearssummarylogtree
localsubnetsetdmaintain nftables sets for local subnets9 monthssummarylogtree
lytsimple literate programming tool7 yearssummarylogtree
notmuch_watcher.hsrun `notmuch new` whenever mail is delivered to your maildir4 yearssummarylogtree
pavmonPulseAudio sink volume monitor4 monthssummarylogtree
pndpowerdpower management daemon for the OpenPandora handheld6 yearssummarylogtree
scovillefile name translator overlay19 monthssummarylogtree
skipheadpreserve headers when grepping through program output4 monthssummarylogtree
underlying.cfind the underlying program in a wrapper script5 yearssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm9 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions4 yearssummarylogtree
urweb-crypto-random-opensslgenerate cryptographically secure random bytes (please read README.md)7 yearssummarylogtree
urweb-gravatarUr/Web Gravatar library7 yearssummarylogtree
urweb-regexUr/Web regular expression library7 yearssummarylogtree
walkPlan 9 style utilities to replace find(1)8 dayssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine9 monthssummarylogtree
xscreensaver-dbuslet Chrome suspend XScreenSaver during video playback9 monthssummarylogtree
old, unmaintained, or incomplete
audiotrondCFA635-based interface for MPD4 monthssummarylogtree
Ba new way to look at the Agda standard library7 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml7 yearssummarylogtree
binserC++ code generator for binary serialization/deserialization4 monthssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell9 monthssummarylogtree
cc-skeletonskeleton for C++ projects7 yearssummarylogtree
debian-boogieDebian packaging for Boogie6 yearssummarylogtree
debian-compcertDebian packaging for CompCert7 yearssummarylogtree
debian-dafnyDebian packaging for Dafny6 yearssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF7 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress7 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen7 yearssummarylogtree
git-annex-gplgit-annex without the AGPL4 monthssummarylogtree
glplanetOpenGL-based planetary renderer4 monthssummarylogtree
gsrsupresumable streaming uploads for Google Cloud Storage9 monthssummarylogtree