index
NameDescriptionIdleLinks
ready for use
6033dp1LaTeX class for 6.033 design project 18 yearssummarylogtree
6.947fake course web site7 yearssummarylogtree
18.022cheat sheet for vector and multivariable calculus9 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age8 yearssummarylogtree
bitutilsscripts to ease working with binary numbers3 yearssummarylogtree
bluespec-bufferBluespec buffer bank5 yearssummarylogtree
debian-abseilDebian packaging for Abseil2 weekssummarylogtree
debian-coqDebian packaging for Coq18 monthssummarylogtree
debian-rcmDebian packaging for rcm9 monthssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk18 hourssummarylogtree
debian-urwebDebian packaging for Ur/Web2 monthssummarylogtree
debian-xcwdDebian packaging for xcwd20 monthssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts8 monthssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle3 yearssummarylogtree
git-fetch-prfetch GitHub pull requests by URL2 monthssummarylogtree
gtd-txtGetting Things Done in plain text3 yearssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies7 yearssummarylogtree
lytsimple literate programming tool5 yearssummarylogtree
notmuch_watcher.hsrun `notmuch new` whenever mail is delivered to your maildir3 yearssummarylogtree
pndpowerdpower management daemon for the OpenPandora handheld4 yearssummarylogtree
scovillefile name translator overlay2 yearssummarylogtree
underlying.cfind the underlying program in a wrapper script3 yearssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm7 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions22 monthssummarylogtree
urweb-crypto-random-opensslgenerate cryptographically secure random bytes (please read README.md)5 yearssummarylogtree
urweb-gravatarUr/Web Gravatar library5 yearssummarylogtree
urweb-regexUr/Web regular expression library5 yearssummarylogtree
walkPlan 9 style utilities to replace find(1)11 monthssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine5 monthssummarylogtree
xssxssmake Chrome suspend XScreenSaver during video playback5 monthssummarylogtree
old, unmaintained, or incomplete
Ba new way to look at the Agda standard library5 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml5 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell20 monthssummarylogtree
cc-skeletonskeleton for C++ projects5 yearssummarylogtree
debian-boogieDebian packaging for Boogie4 yearssummarylogtree
debian-compcertDebian packaging for CompCert6 yearssummarylogtree
debian-dafnyDebian packaging for Dafny4 yearssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF5 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress5 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen5 yearssummarylogtree
jarvisasynchronous interactive shell5 yearssummarylogtree
gpg-forward-agentforward your gpg-agent connections via SSH6 yearssummarylogtree
ppamltracera lightweight, portable tracing library6 yearssummarylogtree
ppaml-vrep-automobile-pluginV-REP plugin to extract sensor data from a vehicle with Ackermann steering6 yearssummarylogtree
ugtdGTD software4 yearssummarylogtree
urweb-markdownUr/Web Markdown parser5 yearssummarylogtree
urwikiwiki software written in Ur/Web5 yearssummarylogtree
software I’ve patched
abseilBase functionality library for C++5 monthssummarylogtree
astc-codecAdaptive Scalable Texture Compression implementation14 monthssummarylogtree
bazela fast, scalable, multi-language and extensible build system24 monthssummarylogtree
brightnessctlread and control device brightness3 monthssummarylogtree
citraNintendo 3DS emulator/debugger5 yearssummarylogtree
Burton-Conner-Tetris-BattleTetris installation controlled by DDR pads on the side of Burton-Conner9 yearssummarylogtree
coqthe Coq proof assistant2 yearssummarylogtree
dagitfixtools to ~automatically fix packaging and branching of Debathena repositories7 yearssummarylogtree
debathena-extra-software6 yearssummarylogtree
debian-aac-tacticsDebian packaging for aac-tactics18 monthssummarylogtree
dnsHaskell DNS library8 yearssummarylogtree
easytagGit repo of the development series of EasyTag (as there is no official SCM)9 yearssummarylogtree
fiat-cryptofast, formally verified cryptography15 monthssummarylogtree
firebase-ios-sdkFirebase iOS SDK2 yearssummarylogtree
fish-shelluser-friendly command line shell4 yearssummarylogtree
FiveUIextensible UI analysis in your browser7 yearssummarylogtree
grpcRPC system from Google19 monthssummarylogtree
haskell-unixPOSIX functionality3 yearssummarylogtree
libfusereference implementation of the Linux FUSE (Filesystem in Userspace) interface2 yearssummarylogtree
livestreamerCLI program that captures streams from various streaming services8 yearssummarylogtree
mailcore2simple and asynchronous API to work with IMAP, POP, and SMTP8 monthssummarylogtree
minifluxweb-based RSS/Atom reader6 monthssummarylogtree
mpvvideo player based on MPlayer/mplayer220 monthssummarylogtree
notmuchthread-based email index, search and tagging6 yearssummarylogtree
offlineimap.elOfflineIMAP support for Emacs6 yearssummarylogtree
proof-generalEmacs interface for proof assistants16 monthssummarylogtree
protobufProtocol Buffers – Google’s data interchange format2 yearssummarylogtree
riscv-opcodesRISC-V opcodes4 yearssummarylogtree
sipb-code-of-conduct6 yearssummarylogtree
skia2D graphics library2 yearssummarylogtree
SmootLightmodular control system for interactive large-scale pixel-based light installatio...9 yearssummarylogtree
stsimple terminal5 yearssummarylogtree
tensorflowmachine learning framework22 monthssummarylogtree
urwebfunctional programming language for web programming21 monthssummarylogtree
uzblweb browser that adheres to the Unix philosophy8 yearssummarylogtree
zephyran institutional/enterprise-scale real-time messaging and notification system8 monthssummarylogtree