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	9 years	summary log tree
bitutils	scripts to ease working with binary numbers	9 months	summary log tree
bluespec-buffer	Bluespec buffer bank	7 years	summary log tree
debian-abseil	Debian packaging for Abseil	4 months	summary log tree
debian-coq	Debian packaging for Coq	3 years	summary log tree
debian-rcm	Debian packaging for rcm	19 months	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	16 months	summary log tree
debian-urweb	Debian packaging for Ur/Web	24 months	summary log tree
debian-xcwd	Debian packaging for xcwd	4 years	summary log tree
dewpoint	calculate dew points	7 months	summary log tree
disable-keyboard-shortcuts	Chrome extension to disable keyboard shortcuts	5 months	summary log tree
ec	terminal-based RPN calculator	5 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	24 months	summary log tree
gtd-txt	Getting Things Done in plain text	9 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	9 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
pavmon	PulseAudio sink volume monitor	4 months	summary log tree
pndpowerd	power management daemon for the OpenPandora handheld	6 years	summary log tree
scoville	file name translator overlay	19 months	summary log tree
skiphead	preserve headers when grepping through program output	4 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)	8 days	summary log tree
wayback-machine-button	Chrome extension to reopen the current page in the Wayback Machine	9 months	summary log tree
xscreensaver-dbus	let Chrome suspend XScreenSaver during video playback	9 months	summary log tree
old, unmaintained, or incomplete
audiotrond	CFA635-based interface for MPD	4 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	4 months	summary log tree
btls	BoringSSL-backed TLS and cryptography library for Haskell	9 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	7 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	4 months	summary log tree
glplanet	OpenGL-based planetary renderer	4 months	summary log tree
gsrsup	resumable streaming uploads for Google Cloud Storage	9 months	summary log tree