git.benjamin.barenblat.name

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