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	4 years	summary log tree
bluespec-buffer	Bluespec buffer bank	6 years	summary log tree
debian-abseil	Debian packaging for Abseil	3 months	summary log tree
debian-coq	Debian packaging for Coq	2 years	summary log tree
debian-rcm	Debian packaging for rcm	8 months	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	5 months	summary log tree
debian-urweb	Debian packaging for Ur/Web	12 months	summary log tree
debian-xcwd	Debian packaging for xcwd	3 years	summary log tree
disable-keyboard-shortcuts	Chrome extension to disable keyboard shortcuts	18 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	12 months	summary log tree
gtd-txt	Getting Things Done in plain text	4 years	summary log tree
hierarchical-exceptions	Template Haskell functions to easily create exception hierarchies	7 years	summary log tree
localsubnetsetd	maintain nftables sets for local subnets	8 weeks	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 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)	21 months	summary log tree
wayback-machine-button	Chrome extension to reopen the current page in the Wayback Machine	16 months	summary log tree
xscreensaver-dbus	let Chrome suspend XScreenSaver during video playback	6 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 years	summary log tree
cc-skeleton	skeleton for C++ projects	6 years	summary log tree
debian-boogie	Debian packaging for Boogie	5 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	6 years	summary log tree
debian-dwarf-fortress	Debian packaging for Dwarf Fortress	6 years	summary log tree
debian-secpwgen	Debian packaging for secpwgen	6 years	summary log tree
gsrsup	resumable streaming uploads for Google Cloud Storage	4 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	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	6 years	summary log tree
urwiki	wiki software written in Ur/Web	6 years	summary log tree
xssxss	make Chrome suspend XScreenSaver during video playback	7 months	summary log tree
software I’ve patched
abseil	Base functionality library for C++	16 months	summary log tree
astc-codec	Adaptive Scalable Texture Compression implementation	24 months	summary log tree
bazel	a fast, scalable, multi-language and extensible build system	3 years	summary log tree
brightnessctl	read and control device brightness	13 months	summary log tree
citra	Nintendo 3DS emulator/debugger	6 years	summary log tree
Burton-Conner-Tetris-Battle	Tetris installation controlled by DDR pads on the side of Burton-Conner	10 years	summary log tree
coq	the Coq proof assistant	3 years	summary log tree
dagitfix	tools to ~automatically fix packaging and branching of Debathena repositories	8 years	summary log tree
debathena-extra-software		7 years	summary log tree
debian-aac-tactics	Debian packaging for aac-tactics	2 years	summary log tree
dns	Haskell DNS library	9 years	summary log tree
easytag	Git repo of the development series of EasyTag (as there is no official SCM)	10 years	summary log tree
eigen	C++ library for linear algebra	3 weeks	summary log tree
fiat-crypto	fast, formally verified cryptography	2 years	summary log tree
firebase-ios-sdk	Firebase iOS SDK	3 years	summary log tree
fish-shell	user-friendly command line shell	5 years	summary log tree
FiveUI	extensible UI analysis in your browser	7 years	summary log tree
google-toolbox-for-mac	utility library for Apple development	6 months	summary log tree
grpc	RPC system from Google	2 years	summary log tree
haskell-unix	POSIX functionality	4 years	summary log tree
libfuse	reference implementation of the Linux FUSE (Filesystem in Userspace) interface	3 years	summary log tree
livestreamer	CLI program that captures streams from various streaming services	9 years	summary log tree
mailcore2	simple and asynchronous API to work with IMAP, POP, and SMTP	18 months	summary log tree
miniflux	web-based RSS/Atom reader	17 months	summary log tree
mpv	video player based on MPlayer/mplayer2	2 years	summary log tree
notmuch	thread-based email index, search and tagging	7 years	summary log tree
offlineimap.el	OfflineIMAP support for Emacs	7 years	summary log tree
proof-general	Emacs interface for proof assistants	2 years	summary log tree
protobuf	Protocol Buffers – Google’s data interchange format	3 years	summary log tree
riscv-opcodes	RISC-V opcodes	5 years	summary log tree
sipb-code-of-conduct		7 years	summary log tree
skia	2D graphics library	3 years	summary log tree
SmootLight	modular control system for interactive large-scale pixel-based light installatio...	10 years	summary log tree
st	simple terminal	6 years	summary log tree
tensorflow	machine learning framework	3 years	summary log tree
urweb	functional programming language for web programming	3 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	18 months	summary log tree