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	9 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	10 years	summary log tree
bitutils	scripts to ease working with binary numbers	12 months	summary log tree
bluespec-buffer	Bluespec buffer bank	7 years	summary log tree
debian-abseil	Debian packaging for Abseil	2 months	summary log tree
debian-coq	Debian packaging for Coq	4 years	summary log tree
debian-rcm	Debian packaging for rcm	22 months	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	19 months	summary log tree
debian-urweb	Debian packaging for Ur/Web	2 years	summary log tree
debian-xcwd	Debian packaging for xcwd	4 years	summary log tree
dewpoint	calculate dew points	10 months	summary log tree
disable-keyboard-shortcuts	Chrome extension to disable keyboard shortcuts	8 months	summary log tree
ec	terminal-based RPN calculator	7 months	summary log tree
fish_riddle.smt2	SMT-LIB solution to the fish riddle	5 years	summary log tree
git-fetch-pr	fetch GitHub pull requests by URL	2 years	summary log tree
gtd-txt	Getting Things Done in plain text	12 months	summary log tree
hierarchical-exceptions	Template Haskell functions to easily create exception hierarchies	9 years	summary log tree
localsubnetsetd	maintain nftables sets for local subnets	12 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	5 years	summary log tree
pavmon	PulseAudio sink volume monitor	6 months	summary log tree
pndpowerd	power management daemon for the OpenPandora handheld	6 years	summary log tree
scoville	file name translator overlay	22 months	summary log tree
skiphead	preserve headers when grepping through program output	6 months	summary log tree
underlying.c	find the underlying program in a wrapper script	5 years	summary log tree
urweb_bcrypt	Ur FFI module for the bcrypt hash algorithm	9 years	summary log tree
urweb-crypto-hash-openssl	Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions	4 years	summary log tree
urweb-crypto-random-openssl	generate cryptographically secure random bytes (please read README.md)	7 years	summary log tree
urweb-gravatar	Ur/Web Gravatar library	7 years	summary log tree
urweb-regex	Ur/Web regular expression library	7 years	summary log tree
walk	Plan 9 style utilities to replace find(1)	3 months	summary log tree
wayback-machine-button	Chrome extension to reopen the current page in the Wayback Machine	12 months	summary log tree
xscreensaver-dbus	let Chrome suspend XScreenSaver during video playback	12 months	summary log tree
old, unmaintained, or incomplete
audiotrond	CFA635-based interface for MPD	6 months	summary log tree
B	a new way to look at the Agda standard library	7 years	summary log tree
bazel-ocaml	Skylark rules for OCaml	7 years	summary log tree
binser	C++ code generator for binary serialization/deserialization	6 months	summary log tree
btls	BoringSSL-backed TLS and cryptography library for Haskell	12 months	summary log tree
cc-skeleton	skeleton for C++ projects	7 years	summary log tree
debian-boogie	Debian packaging for Boogie	6 years	summary log tree
debian-compcert	Debian packaging for CompCert	8 years	summary log tree
debian-dafny	Debian packaging for Dafny	6 years	summary log tree
debian-deadbeef	Debian packaging for DeaDBeeF	7 years	summary log tree
debian-dwarf-fortress	Debian packaging for Dwarf Fortress	7 years	summary log tree
debian-secpwgen	Debian packaging for secpwgen	7 years	summary log tree
git-annex-gpl	git-annex without the AGPL	7 months	summary log tree
glplanet	OpenGL-based planetary renderer	7 months	summary log tree
gsrsup	resumable streaming uploads for Google Cloud Storage	12 months	summary log tree