index
NameDescriptionIdleLinks
ready for use
6033dp1LaTeX class for 6.033 design project 17 yearssummarylogtree
6.947fake course web site6 yearssummarylogtree
18.022cheat sheet for vector and multivariable calculus8 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age6 yearssummarylogtree
bitutilsscripts to ease working with binary numbers19 monthssummarylogtree
bluespec-bufferBluespec buffer bank4 yearssummarylogtree
debian-coqDebian packaging for Coq10 dayssummarylogtree
debian-rcmDebian packaging for rcm6 weekssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk6 weekssummarylogtree
debian-urwebDebian packaging for Ur/Web17 monthssummarylogtree
debian-xcwdDebian packaging for xcwd3 monthssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle18 monthssummarylogtree
gtd-txtGetting Things Done in plain text17 monthssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies5 yearssummarylogtree
lytsimple literate programming tool4 yearssummarylogtree
notmuch_watcher.hsrun `notmuch new` whenever mail is delivered to your maildir13 monthssummarylogtree
pndpowerdpower management daemon for the OpenPandora handheld3 yearssummarylogtree
scovillefile name translator overlay8 monthssummarylogtree
underlying.cfind the underlying program in a wrapper script17 monthssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm6 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions4 monthssummarylogtree
urweb-crypto-random-opensslgenerate cryptographically secure random bytes (please read README.md)3 yearssummarylogtree
urweb-gravatarUr/Web Gravatar library4 yearssummarylogtree
urweb-regexUr/Web regular expression library3 yearssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine5 monthssummarylogtree
work in progress
btlsBoringSSL-backed TLS and cryptography library for Haskell8 weekssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF3 yearssummarylogtree
old and unmaintained
Ba new way to look at the Agda standard library4 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml4 yearssummarylogtree
cc-skeletonskeleton for C++ projects4 yearssummarylogtree
debian-compcertDebian packaging for CompCert4 yearssummarylogtree
debian-boogieDebian packaging for Boogie2 yearssummarylogtree
debian-dafnyDebian packaging for Dafny3 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress3 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen4 yearssummarylogtree
jarvisasynchronous interactive shell4 yearssummarylogtree
gpg-forward-agentforward your gpg-agent connections via SSH5 yearssummarylogtree
ppamltracera lightweight, portable tracing library5 yearssummarylogtree
ppaml-vrep-automobile-pluginV-REP plugin to extract sensor data from a vehicle with Ackermann steering5 yearssummarylogtree
ugtdGTD software2 yearssummarylogtree
urweb-markdownUr/Web Markdown parser4 yearssummarylogtree
urwikiwiki software written in Ur/Web4 yearssummarylogtree
software I’ve patched
bazela fast, scalable, multi-language and extensible build system6 monthssummarylogtree
citraNintendo 3DS emulator/debugger4 yearssummarylogtree
Burton-Conner-Tetris-BattleTetris installation controlled by DDR pads on the side of Burton-Conner7 yearssummarylogtree
coqthe Coq proof assistant7 monthssummarylogtree
dagitfixtools to ~automatically fix packaging and branching of Debathena repositories5 yearssummarylogtree
debathena-extra-software4 yearssummarylogtree
dnsHaskell DNS library6 yearssummarylogtree
easytagGit repo of the development series of EasyTag (as there is no official SCM)8 yearssummarylogtree
firebase-ios-sdkFirebase iOS SDK7 monthssummarylogtree
fish-shelluser-friendly command line shell3 yearssummarylogtree
FiveUIextensible UI analysis in your browser5 yearssummarylogtree
grpcRPC system from Google5 weekssummarylogtree
haskell-unixPOSIX functionality19 monthssummarylogtree
libfusereference implementation of the Linux FUSE (Filesystem in Userspace) interface6 monthssummarylogtree
livestreamerCLI program that captures streams from various streaming services6 yearssummarylogtree
mailcore2simple and asynchronous API to work with IMAP, POP, and SMTP7 monthssummarylogtree
mpvvideo player based on MPlayer/mplayer29 weekssummarylogtree
notmuchthread-based email index, search and tagging4 yearssummarylogtree
offlineimap.elOfflineIMAP support for Emacs4 yearssummarylogtree
protobufProtocol Buffers – Google’s data interchange format7 monthssummarylogtree
riscv-opcodesRISC-V opcodes3 yearssummarylogtree
sipb-code-of-conduct5 yearssummarylogtree
skia2D graphics library7 monthssummarylogtree
SmootLightmodular control system for interactive large-scale pixel-based light installatio...8 yearssummarylogtree
stsimple terminal4 yearssummarylogtree
tensorflowmachine learning framework4 monthssummarylogtree
urwebfunctional programming language for web programming3 monthssummarylogtree
uzblweb browser that adheres to the Unix philosophy7 yearssummarylogtree