git.benjamin.barenblat.name

Name	Description	Idle	Links
urweb	functional programming language for web programming	8 weeks	summary log tree
debian-abseil	Debian packaging for Abseil	3 months	summary log tree
wayback-machine-button	Chrome extension to reopen the current page in the Wayback Machine	6 months	summary log tree
mosh	remote login with local echo and roaming	15 months	summary log tree
audiotrond	CFA635-based interface for MPD	2 years	summary log tree
oss-fuzz	continuous fuzzing for open source software	2 years	summary log tree
walk	Plan 9 style utilities to replace find(1)	3 years	summary log tree
textadept	fast, minimalist, Lua-extensible editor	3 years	summary log tree
goldfishwm	tiling window manager for Linux	3 years	summary log tree
hp48-authenticator	TOTP for the HP 48	3 years	summary log tree
meeus48	Astronomical Algorithms for the HP 48	3 years	summary log tree
binser	C++ code generator for binary serialization/deserialization	3 years	summary log tree
pavmon	PulseAudio sink volume monitor	3 years	summary log tree
skiphead	preserve headers when grepping through program output	3 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
ec	terminal-based RPN calculator	3 years	summary log tree
disable-keyboard-shortcuts	Chrome extension to disable keyboard shortcuts	3 years	summary log tree
pose	original Palm OS emulator	3 years	summary log tree
laptopfs	network file system designed for disconnected operation	3 years	summary log tree
dewpoint	calculate dew points	3 years	summary log tree
xscreensaver-dbus	let Chrome suspend XScreenSaver during video playback	3 years	summary log tree
localsubnetsetd	maintain nftables sets for local subnets	3 years	summary log tree
gtd-txt	Getting Things Done in plain text	3 years	summary log tree
gsrsup	resumable streaming uploads for Google Cloud Storage	3 years	summary log tree
btls	BoringSSL-backed TLS and cryptography library for Haskell	3 years	summary log tree
bitutils	scripts to ease working with binary numbers	3 years	summary log tree
eigen	C++ library for linear algebra	3 years	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	4 years	summary log tree
google-toolbox-for-mac	utility library for Apple development	4 years	summary log tree
xssxss	make Chrome suspend XScreenSaver during video playback	4 years	summary log tree
debian-rcm	Debian packaging for rcm	4 years	summary log tree
scoville	file name translator overlay	4 years	summary log tree
git-fetch-pr	fetch GitHub pull requests by URL	4 years	summary log tree
debian-urweb	Debian packaging for Ur/Web	4 years	summary log tree
brightnessctl	read and control device brightness	5 years	summary log tree
abseil	Base functionality library for C++	5 years	summary log tree
miniflux	web-based RSS/Atom reader	5 years	summary log tree
mailcore2	simple and asynchronous API to work with IMAP, POP, and SMTP	5 years	summary log tree
zephyr	an institutional/enterprise-scale real-time messaging and notification system	5 years	summary log tree
astc-codec	Adaptive Scalable Texture Compression implementation	5 years	summary log tree
fiat-crypto	fast, formally verified cryptography	6 years	summary log tree
proof-general	Emacs interface for proof assistants	6 years	summary log tree
debian-aac-tactics	Debian packaging for aac-tactics	6 years	summary log tree
debian-coq	Debian packaging for Coq	6 years	summary log tree
grpc	RPC system from Google	6 years	summary log tree
mpv	video player based on MPlayer/mplayer2	6 years	summary log tree
debian-xcwd	Debian packaging for xcwd	6 years	summary log tree
tensorflow	machine learning framework	6 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