git.benjamin.barenblat.name

Name	Description	Idle	Links
ready for use
6033dp1	LaTeX class for 6.033 design project 1	9 years	summary log tree
6.947	fake course web site	8 years	summary log tree
18.022	cheat sheet for vector and multivariable calculus	10 years	summary log tree
ageOf	pluggable utility to determine somebody’s age	8 years	summary log tree
bitutils	scripts to ease working with binary numbers	3 years	summary log tree
bluespec-buffer	Bluespec buffer bank	6 years	summary log tree
debian-abseil	Debian packaging for Abseil	4 days	summary log tree
debian-coq	Debian packaging for Coq	22 months	summary log tree
debian-rcm	Debian packaging for rcm	7 weeks	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	4 months	summary log tree
debian-urweb	Debian packaging for Ur/Web	6 months	summary log tree
debian-xcwd	Debian packaging for xcwd	2 years	summary log tree
disable-keyboard-shortcuts	Chrome extension to disable keyboard shortcuts	12 months	summary log tree
fish_riddle.smt2	SMT-LIB solution to the fish riddle	3 years	summary log tree
git-fetch-pr	fetch GitHub pull requests by URL	6 months	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	7 years	summary log tree
lyt	simple literate programming tool	6 years	summary log tree
notmuch_watcher.hs	run `notmuch new` whenever mail is delivered to your maildir	3 years	summary log tree
pndpowerd	power management daemon for the OpenPandora handheld	5 years	summary log tree
scoville	file name translator overlay	8 weeks	summary log tree
underlying.c	find the underlying program in a wrapper script	3 years	summary log tree
urweb_bcrypt	Ur FFI module for the bcrypt hash algorithm	7 years	summary log tree
urweb-crypto-hash-openssl	Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions	2 years	summary log tree
urweb-crypto-random-openssl	generate cryptographically secure random bytes (please read README.md)	5 years	summary log tree
urweb-gravatar	Ur/Web Gravatar library	5 years	summary log tree
urweb-regex	Ur/Web regular expression library	5 years	summary log tree
walk	Plan 9 style utilities to replace find(1)	15 months	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	4 days	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	5 years	summary log tree
btls	BoringSSL-backed TLS and cryptography library for Haskell	24 months	summary log tree
cc-skeleton	skeleton for C++ projects	6 years	summary log tree
debian-boogie	Debian packaging for Boogie	4 years	summary log tree
debian-compcert	Debian packaging for CompCert	6 years	summary log tree
debian-dafny	Debian packaging for Dafny	5 years	summary log tree
debian-deadbeef	Debian packaging for DeaDBeeF	5 years	summary log tree
debian-dwarf-fortress	Debian packaging for Dwarf Fortress	5 years	summary log tree
debian-secpwgen	Debian packaging for secpwgen	6 years	summary log tree
jarvis	asynchronous interactive shell	6 years	summary log tree
gpg-forward-agent	forward your gpg-agent connections via SSH	6 years	summary log tree
ppamltracer	a lightweight, portable tracing library	7 years	summary log tree
ppaml-vrep-automobile-plugin	V-REP plugin to extract sensor data from a vehicle with Ackermann steering	7 years	summary log tree
ugtd	GTD software	4 years	summary log tree
urweb-markdown	Ur/Web Markdown parser	5 years	summary log tree
urwiki	wiki software written in Ur/Web	5 years	summary log tree
xssxss	make Chrome suspend XScreenSaver during video playback	2 weeks	summary log tree
software I’ve patched
abseil	Base functionality library for C++	9 months	summary log tree
astc-codec	Adaptive Scalable Texture Compression implementation	18 months	summary log tree
bazel	a fast, scalable, multi-language and extensible build system	2 years	summary log tree
brightnessctl	read and control device brightness	7 months	summary log tree
citra	Nintendo 3DS emulator/debugger	5 years	summary log tree
Burton-Conner-Tetris-Battle	Tetris installation controlled by DDR pads on the side of Burton-Conner	9 years	summary log tree
coq	the Coq proof assistant	2 years	summary log tree
dagitfix	tools to ~automatically fix packaging and branching of Debathena repositories	7 years	summary log tree
debathena-extra-software		6 years	summary log tree
debian-aac-tactics	Debian packaging for aac-tactics	22 months	summary log tree
dns	Haskell DNS library	8 years	summary log tree
easytag	Git repo of the development series of EasyTag (as there is no official SCM)	9 years	summary log tree
fiat-crypto	fast, formally verified cryptography	19 months	summary log tree
firebase-ios-sdk	Firebase iOS SDK	2 years	summary log tree
fish-shell	user-friendly command line shell	4 years	summary log tree
FiveUI	extensible UI analysis in your browser	7 years	summary log tree
grpc	RPC system from Google	23 months	summary log tree
haskell-unix	POSIX functionality	3 years	summary log tree
libfuse	reference implementation of the Linux FUSE (Filesystem in Userspace) interface	2 years	summary log tree
livestreamer	CLI program that captures streams from various streaming services	8 years	summary log tree
mailcore2	simple and asynchronous API to work with IMAP, POP, and SMTP	12 months	summary log tree
miniflux	web-based RSS/Atom reader	10 months	summary log tree
mpv	video player based on MPlayer/mplayer2	24 months	summary log tree
notmuch	thread-based email index, search and tagging	6 years	summary log tree
offlineimap.el	OfflineIMAP support for Emacs	6 years	summary log tree
proof-general	Emacs interface for proof assistants	20 months	summary log tree
protobuf	Protocol Buffers – Google’s data interchange format	2 years	summary log tree
riscv-opcodes	RISC-V opcodes	4 years	summary log tree
sipb-code-of-conduct		7 years	summary log tree
skia	2D graphics library	2 years	summary log tree
SmootLight	modular control system for interactive large-scale pixel-based light installatio...	10 years	summary log tree
st	simple terminal	5 years	summary log tree
tensorflow	machine learning framework	2 years	summary log tree
urweb	functional programming language for web programming	2 years	summary log tree
uzbl	web browser that adheres to the Unix philosophy	9 years	summary log tree
zephyr	an institutional/enterprise-scale real-time messaging and notification system	12 months	summary log tree