| Name | Description | Idle | Links |
|---|
| ready for use |
| 6033dp1 | LaTeX class for 6.033 design project 1 | 8 years | summarylogtree |
| 6.947 | fake course web site | 7 years | summarylogtree |
| 18.022 | cheat sheet for vector and multivariable calculus | 9 years | summarylogtree |
| ageOf | pluggable utility to determine somebody’s age | 8 years | summarylogtree |
| bitutils | scripts to ease working with binary numbers | 3 years | summarylogtree |
| bluespec-buffer | Bluespec buffer bank | 5 years | summarylogtree |
| debian-abseil | Debian packaging for Abseil | 2 weeks | summarylogtree |
| debian-coq | Debian packaging for Coq | 18 months | summarylogtree |
| debian-rcm | Debian packaging for rcm | 9 months | summarylogtree |
| debian-transmission-remote-gtk | Debian packaging for transmission-remote-gtk | 18 hours | summarylogtree |
| debian-urweb | Debian packaging for Ur/Web | 2 months | summarylogtree |
| debian-xcwd | Debian packaging for xcwd | 20 months | summarylogtree |
| disable-keyboard-shortcuts | Chrome extension to disable keyboard shortcuts | 8 months | summarylogtree |
| fish_riddle.smt2 | SMT-LIB solution to the fish riddle | 3 years | summarylogtree |
| git-fetch-pr | fetch GitHub pull requests by URL | 2 months | summarylogtree |
| gtd-txt | Getting Things Done in plain text | 3 years | summarylogtree |
| hierarchical-exceptions | Template Haskell functions to easily create exception hierarchies | 7 years | summarylogtree |
| lyt | simple literate programming tool | 5 years | summarylogtree |
| notmuch_watcher.hs | run `notmuch new` whenever mail is delivered to your maildir | 3 years | summarylogtree |
| pndpowerd | power management daemon for the OpenPandora handheld | 4 years | summarylogtree |
| scoville | file name translator overlay | 2 years | summarylogtree |
| underlying.c | find the underlying program in a wrapper script | 3 years | summarylogtree |
| urweb_bcrypt | Ur FFI module for the bcrypt hash algorithm | 7 years | summarylogtree |
| urweb-crypto-hash-openssl | Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions | 22 months | summarylogtree |
| urweb-crypto-random-openssl | generate cryptographically secure random bytes (please read README.md) | 5 years | summarylogtree |
| urweb-gravatar | Ur/Web Gravatar library | 5 years | summarylogtree |
| urweb-regex | Ur/Web regular expression library | 5 years | summarylogtree |
| walk | Plan 9 style utilities to replace find(1) | 11 months | summarylogtree |
| wayback-machine-button | Chrome extension to reopen the current page in the Wayback Machine | 5 months | summarylogtree |
| xssxss | make Chrome suspend XScreenSaver during video playback | 5 months | summarylogtree |
| old, unmaintained, or incomplete |
| B | a new way to look at the Agda standard library | 5 years | summarylogtree |
| bazel-ocaml | Skylark rules for OCaml | 5 years | summarylogtree |
| btls | BoringSSL-backed TLS and cryptography library for Haskell | 20 months | summarylogtree |
| cc-skeleton | skeleton for C++ projects | 5 years | summarylogtree |
| debian-boogie | Debian packaging for Boogie | 4 years | summarylogtree |
| debian-compcert | Debian packaging for CompCert | 6 years | summarylogtree |
| debian-dafny | Debian packaging for Dafny | 4 years | summarylogtree |
| debian-deadbeef | Debian packaging for DeaDBeeF | 5 years | summarylogtree |
| debian-dwarf-fortress | Debian packaging for Dwarf Fortress | 5 years | summarylogtree |
| debian-secpwgen | Debian packaging for secpwgen | 5 years | summarylogtree |
| jarvis | asynchronous interactive shell | 5 years | summarylogtree |
| gpg-forward-agent | forward your gpg-agent connections via SSH | 6 years | summarylogtree |
| ppamltracer | a lightweight, portable tracing library | 6 years | summarylogtree |
| ppaml-vrep-automobile-plugin | V-REP plugin to extract sensor data from a vehicle with Ackermann steering | 6 years | summarylogtree |
| ugtd | GTD software | 4 years | summarylogtree |
| urweb-markdown | Ur/Web Markdown parser | 5 years | summarylogtree |
| urwiki | wiki software written in Ur/Web | 5 years | summarylogtree |
| software I’ve patched |
| abseil | Base functionality library for C++ | 5 months | summarylogtree |
| astc-codec | Adaptive Scalable Texture Compression implementation | 14 months | summarylogtree |
| bazel | a fast, scalable, multi-language and extensible build system | 24 months | summarylogtree |
| brightnessctl | read and control device brightness | 3 months | summarylogtree |
| citra | Nintendo 3DS emulator/debugger | 5 years | summarylogtree |
| Burton-Conner-Tetris-Battle | Tetris installation controlled by DDR pads on the side of Burton-Conner | 9 years | summarylogtree |
| coq | the Coq proof assistant | 2 years | summarylogtree |
| dagitfix | tools to ~automatically fix packaging and branching of Debathena repositories | 7 years | summarylogtree |
| debathena-extra-software | | 6 years | summarylogtree |
| debian-aac-tactics | Debian packaging for aac-tactics | 18 months | summarylogtree |
| dns | Haskell DNS library | 8 years | summarylogtree |
| easytag | Git repo of the development series of EasyTag (as there is no official SCM) | 9 years | summarylogtree |
| fiat-crypto | fast, formally verified cryptography | 15 months | summarylogtree |
| firebase-ios-sdk | Firebase iOS SDK | 2 years | summarylogtree |
| fish-shell | user-friendly command line shell | 4 years | summarylogtree |
| FiveUI | extensible UI analysis in your browser | 7 years | summarylogtree |
| grpc | RPC system from Google | 19 months | summarylogtree |
| haskell-unix | POSIX functionality | 3 years | summarylogtree |
| libfuse | reference implementation of the Linux FUSE (Filesystem in Userspace) interface | 2 years | summarylogtree |
| livestreamer | CLI program that captures streams from various streaming services | 8 years | summarylogtree |
| mailcore2 | simple and asynchronous API to work with IMAP, POP, and SMTP | 8 months | summarylogtree |
| miniflux | web-based RSS/Atom reader | 6 months | summarylogtree |
| mpv | video player based on MPlayer/mplayer2 | 20 months | summarylogtree |
| notmuch | thread-based email index, search and tagging | 6 years | summarylogtree |
| offlineimap.el | OfflineIMAP support for Emacs | 6 years | summarylogtree |
| proof-general | Emacs interface for proof assistants | 16 months | summarylogtree |
| protobuf | Protocol Buffers – Google’s data interchange format | 2 years | summarylogtree |
| riscv-opcodes | RISC-V opcodes | 4 years | summarylogtree |
| sipb-code-of-conduct | | 6 years | summarylogtree |
| skia | 2D graphics library | 2 years | summarylogtree |
| SmootLight | modular control system for interactive large-scale pixel-based light installatio... | 9 years | summarylogtree |
| st | simple terminal | 5 years | summarylogtree |
| tensorflow | machine learning framework | 22 months | summarylogtree |
| urweb | functional programming language for web programming | 21 months | summarylogtree |
| uzbl | web browser that adheres to the Unix philosophy | 8 years | summarylogtree |
| zephyr | an institutional/enterprise-scale real-time messaging and notification system | 8 months | summarylogtree |
