Name | Description | Idle | Links |
ready for use |
6033dp1 | LaTeX class for 6.033 design project 1 | 9 years | summarylogtree |
6.947 | fake course web site | 8 years | summarylogtree |
18.022 | cheat sheet for vector and multivariable calculus | 10 years | summarylogtree |
ageOf | pluggable utility to determine somebody’s age | 8 years | summarylogtree |
bitutils | scripts to ease working with binary numbers | 4 years | summarylogtree |
bluespec-buffer | Bluespec buffer bank | 6 years | summarylogtree |
debian-abseil | Debian packaging for Abseil | 3 weeks | summarylogtree |
debian-coq | Debian packaging for Coq | 2 years | summarylogtree |
debian-rcm | Debian packaging for rcm | 4 months | summarylogtree |
debian-transmission-remote-gtk | Debian packaging for transmission-remote-gtk | 7 weeks | summarylogtree |
debian-urweb | Debian packaging for Ur/Web | 9 months | summarylogtree |
debian-xcwd | Debian packaging for xcwd | 2 years | summarylogtree |
disable-keyboard-shortcuts | Chrome extension to disable keyboard shortcuts | 15 months | summarylogtree |
fish_riddle.smt2 | SMT-LIB solution to the fish riddle | 4 years | summarylogtree |
git-fetch-pr | fetch GitHub pull requests by URL | 9 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 | 6 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 | 5 years | summarylogtree |
scoville | file name translator overlay | 5 months | summarylogtree |
underlying.c | find the underlying program in a wrapper script | 3 years | summarylogtree |
urweb_bcrypt | Ur FFI module for the bcrypt hash algorithm | 8 years | summarylogtree |
urweb-crypto-hash-openssl | Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions | 2 years | summarylogtree |
urweb-crypto-random-openssl | generate cryptographically secure random bytes (please read README.md) | 6 years | summarylogtree |
urweb-gravatar | Ur/Web Gravatar library | 6 years | summarylogtree |
urweb-regex | Ur/Web regular expression library | 6 years | summarylogtree |
walk | Plan 9 style utilities to replace find(1) | 17 months | summarylogtree |
wayback-machine-button | Chrome extension to reopen the current page in the Wayback Machine | 12 months | summarylogtree |
xscreensaver-dbus | let Chrome suspend XScreenSaver during video playback | 3 months | summarylogtree |
old, unmaintained, or incomplete |
B | a new way to look at the Agda standard library | 6 years | summarylogtree |
bazel-ocaml | Skylark rules for OCaml | 6 years | summarylogtree |
btls | BoringSSL-backed TLS and cryptography library for Haskell | 2 years | summarylogtree |
cc-skeleton | skeleton for C++ projects | 6 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 | 5 years | summarylogtree |
debian-deadbeef | Debian packaging for DeaDBeeF | 6 years | summarylogtree |
debian-dwarf-fortress | Debian packaging for Dwarf Fortress | 5 years | summarylogtree |
debian-secpwgen | Debian packaging for secpwgen | 6 years | summarylogtree |
jarvis | asynchronous interactive shell | 6 years | summarylogtree |
gpg-forward-agent | forward your gpg-agent connections via SSH | 7 years | summarylogtree |
ppamltracer | a lightweight, portable tracing library | 7 years | summarylogtree |
ppaml-vrep-automobile-plugin | V-REP plugin to extract sensor data from a vehicle with Ackermann steering | 7 years | summarylogtree |
ugtd | GTD software | 4 years | summarylogtree |
urweb-markdown | Ur/Web Markdown parser | 6 years | summarylogtree |
urwiki | wiki software written in Ur/Web | 6 years | summarylogtree |
xssxss | make Chrome suspend XScreenSaver during video playback | 3 months | summarylogtree |
software I’ve patched |
abseil | Base functionality library for C++ | 12 months | summarylogtree |
astc-codec | Adaptive Scalable Texture Compression implementation | 20 months | summarylogtree |
bazel | a fast, scalable, multi-language and extensible build system | 3 years | summarylogtree |
brightnessctl | read and control device brightness | 10 months | summarylogtree |
citra | Nintendo 3DS emulator/debugger | 6 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 | 3 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 | 2 years | summarylogtree |
dns | Haskell DNS library | 8 years | summarylogtree |
easytag | Git repo of the development series of EasyTag (as there is no official SCM) | 10 years | summarylogtree |
fiat-crypto | fast, formally verified cryptography | 22 months | summarylogtree |
firebase-ios-sdk | Firebase iOS SDK | 3 years | summarylogtree |
fish-shell | user-friendly command line shell | 5 years | summarylogtree |
FiveUI | extensible UI analysis in your browser | 7 years | summarylogtree |
google-toolbox-for-mac | utility library for Apple development | 2 months | summarylogtree |
grpc | RPC system from Google | 2 years | summarylogtree |
haskell-unix | POSIX functionality | 4 years | summarylogtree |
libfuse | reference implementation of the Linux FUSE (Filesystem in Userspace) interface | 3 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 | 15 months | summarylogtree |
miniflux | web-based RSS/Atom reader | 13 months | summarylogtree |
mpv | video player based on MPlayer/mplayer2 | 2 years | 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 | 22 months | summarylogtree |
protobuf | Protocol Buffers – Google’s data interchange format | 3 years | summarylogtree |
riscv-opcodes | RISC-V opcodes | 5 years | summarylogtree |
sipb-code-of-conduct | | 7 years | summarylogtree |
skia | 2D graphics library | 3 years | summarylogtree |
SmootLight | modular control system for interactive large-scale pixel-based light installatio... | 10 years | summarylogtree |
st | simple terminal | 6 years | summarylogtree |
tensorflow | machine learning framework | 2 years | summarylogtree |
urweb | functional programming language for web programming | 2 years | summarylogtree |
uzbl | web browser that adheres to the Unix philosophy | 9 years | summarylogtree |
zephyr | an institutional/enterprise-scale real-time messaging and notification system | 15 months | summarylogtree |