index
NameDescriptionIdleLinks
ready for use
6033dp1LaTeX class for 6.033 design project 110 yearssummarylogtree
6.947fake course web site8 yearssummarylogtree
18.022cheat sheet for vector and multivariable calculus11 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age9 yearssummarylogtree
bitutilsscripts to ease working with binary numbers2 monthssummarylogtree
bluespec-bufferBluespec buffer bank7 yearssummarylogtree
debian-abseilDebian packaging for Abseil7 monthssummarylogtree
debian-coqDebian packaging for Coq3 yearssummarylogtree
debian-rcmDebian packaging for rcm12 monthssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk9 monthssummarylogtree
debian-urwebDebian packaging for Ur/Web17 monthssummarylogtree
debian-xcwdDebian packaging for xcwd3 yearssummarylogtree
dewpointcalculate dew points6 dayssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts2 monthssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle4 yearssummarylogtree
git-fetch-prfetch GitHub pull requests by URL17 monthssummarylogtree
gtd-txtGetting Things Done in plain text2 monthssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies8 yearssummarylogtree
localsubnetsetdmaintain nftables sets for local subnets2 monthssummarylogtree
lytsimple literate programming tool7 yearssummarylogtree
notmuch_watcher.hsrun `notmuch new` whenever mail is delivered to your maildir4 yearssummarylogtree
pndpowerdpower management daemon for the OpenPandora handheld5 yearssummarylogtree
scovillefile name translator overlay12 monthssummarylogtree
underlying.cfind the underlying program in a wrapper script4 yearssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm8 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions3 yearssummarylogtree
urweb-crypto-random-opensslgenerate cryptographically secure random bytes (please read README.md)6 yearssummarylogtree
urweb-gravatarUr/Web Gravatar library6 yearssummarylogtree
urweb-regexUr/Web regular expression library6 yearssummarylogtree
walkPlan 9 style utilities to replace find(1)2 monthssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine2 monthssummarylogtree
xscreensaver-dbuslet Chrome suspend XScreenSaver during video playback2 monthssummarylogtree
old, unmaintained, or incomplete
Ba new way to look at the Agda standard library6 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml6 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell2 monthssummarylogtree
cc-skeletonskeleton for C++ projects7 yearssummarylogtree
debian-boogieDebian packaging for Boogie5 yearssummarylogtree
debian-compcertDebian packaging for CompCert7 yearssummarylogtree
debian-dafnyDebian packaging for Dafny5 yearssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF6 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress6 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen7 yearssummarylogtree
gsrsupresumable streaming uploads for Google Cloud Storage2 monthssummarylogtree
jarvisasynchronous interactive shell6 yearssummarylogtree
gpg-forward-agentforward your gpg-agent connections via SSH7 yearssummarylogtree
ppamltracera lightweight, portable tracing library8 yearssummarylogtree
ppaml-vrep-automobile-pluginV-REP plugin to extract sensor data from a vehicle with Ackermann steering8 yearssummarylogtree
ugtdGTD software5 yearssummarylogtree
urweb-markdownUr/Web Markdown parser6 yearssummarylogtree
urwikiwiki software written in Ur/Web6 yearssummarylogtree