git.benjamin.barenblat.name

Name	Description	Idle	Links
ready for use
6033dp1	LaTeX class for 6.033 design project 1	10 years	summary log tree
6.947	fake course web site	8 years	summary log tree
18.022	cheat sheet for vector and multivariable calculus	11 years	summary log tree
ageOf	pluggable utility to determine somebody’s age	9 years	summary log tree
bitutils	scripts to ease working with binary numbers	2 months	summary log tree
bluespec-buffer	Bluespec buffer bank	7 years	summary log tree
debian-abseil	Debian packaging for Abseil	7 months	summary log tree
debian-coq	Debian packaging for Coq	3 years	summary log tree
debian-rcm	Debian packaging for rcm	12 months	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	9 months	summary log tree
debian-urweb	Debian packaging for Ur/Web	17 months	summary log tree
debian-xcwd	Debian packaging for xcwd	3 years	summary log tree
dewpoint	calculate dew points	6 days	summary log tree
disable-keyboard-shortcuts	Chrome extension to disable keyboard shortcuts	2 months	summary log tree
fish_riddle.smt2	SMT-LIB solution to the fish riddle	4 years	summary log tree
git-fetch-pr	fetch GitHub pull requests by URL	17 months	summary log tree
gtd-txt	Getting Things Done in plain text	2 months	summary log tree
hierarchical-exceptions	Template Haskell functions to easily create exception hierarchies	8 years	summary log tree
localsubnetsetd	maintain nftables sets for local subnets	2 months	summary log tree
lyt	simple literate programming tool	7 years	summary log tree
notmuch_watcher.hs	run `notmuch new` whenever mail is delivered to your maildir	4 years	summary log tree
pndpowerd	power management daemon for the OpenPandora handheld	5 years	summary log tree
scoville	file name translator overlay	12 months	summary log tree
underlying.c	find the underlying program in a wrapper script	4 years	summary log tree
urweb_bcrypt	Ur FFI module for the bcrypt hash algorithm	8 years	summary log tree
urweb-crypto-hash-openssl	Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions	3 years	summary log tree
urweb-crypto-random-openssl	generate cryptographically secure random bytes (please read README.md)	6 years	summary log tree
urweb-gravatar	Ur/Web Gravatar library	6 years	summary log tree
urweb-regex	Ur/Web regular expression library	6 years	summary log tree
walk	Plan 9 style utilities to replace find(1)	2 months	summary log tree
wayback-machine-button	Chrome extension to reopen the current page in the Wayback Machine	2 months	summary log tree
xscreensaver-dbus	let Chrome suspend XScreenSaver during video playback	2 months	summary log tree
old, unmaintained, or incomplete
B	a new way to look at the Agda standard library	6 years	summary log tree
bazel-ocaml	Skylark rules for OCaml	6 years	summary log tree
btls	BoringSSL-backed TLS and cryptography library for Haskell	2 months	summary log tree
cc-skeleton	skeleton for C++ projects	7 years	summary log tree
debian-boogie	Debian packaging for Boogie	5 years	summary log tree
debian-compcert	Debian packaging for CompCert	7 years	summary log tree
debian-dafny	Debian packaging for Dafny	5 years	summary log tree
debian-deadbeef	Debian packaging for DeaDBeeF	6 years	summary log tree
debian-dwarf-fortress	Debian packaging for Dwarf Fortress	6 years	summary log tree
debian-secpwgen	Debian packaging for secpwgen	7 years	summary log tree
gsrsup	resumable streaming uploads for Google Cloud Storage	2 months	summary log tree
jarvis	asynchronous interactive shell	6 years	summary log tree
gpg-forward-agent	forward your gpg-agent connections via SSH	7 years	summary log tree
ppamltracer	a lightweight, portable tracing library	8 years	summary log tree
ppaml-vrep-automobile-plugin	V-REP plugin to extract sensor data from a vehicle with Ackermann steering	8 years	summary log tree
ugtd	GTD software	5 years	summary log tree
urweb-markdown	Ur/Web Markdown parser	6 years	summary log tree
urwiki	wiki software written in Ur/Web	6 years	summary log tree