git.benjamin.barenblat.name

Name	Description	Idle	Links
urweb	functional programming language for web programming	10 months	summary log tree
debian-abseil	Debian packaging for Abseil	10 months	summary log tree
wayback-machine-button	Chrome extension to reopen the current page in the Wayback Machine	14 months	summary log tree
mosh	remote login with local echo and roaming	23 months	summary log tree
audiotrond	CFA635-based interface for MPD	3 years	summary log tree
oss-fuzz	continuous fuzzing for open source software	3 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	4 years	summary log tree
ec	terminal-based RPN calculator	4 years	summary log tree
disable-keyboard-shortcuts	Chrome extension to disable keyboard shortcuts	4 years	summary log tree
pose	original Palm OS emulator	4 years	summary log tree
laptopfs	network file system designed for disconnected operation	4 years	summary log tree
dewpoint	calculate dew points	4 years	summary log tree
xscreensaver-dbus	let Chrome suspend XScreenSaver during video playback	4 years	summary log tree
localsubnetsetd	maintain nftables sets for local subnets	4 years	summary log tree
gtd-txt	Getting Things Done in plain text	4 years	summary log tree
gsrsup	resumable streaming uploads for Google Cloud Storage	4 years	summary log tree
btls	BoringSSL-backed TLS and cryptography library for Haskell	4 years	summary log tree
bitutils	scripts to ease working with binary numbers	4 years	summary log tree
eigen	C++ library for linear algebra	4 years	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	5 years	summary log tree
google-toolbox-for-mac	utility library for Apple development	5 years	summary log tree
xssxss	make Chrome suspend XScreenSaver during video playback	5 years	summary log tree
debian-rcm	Debian packaging for rcm	5 years	summary log tree
scoville	file name translator overlay	5 years	summary log tree
git-fetch-pr	fetch GitHub pull requests by URL	5 years	summary log tree
debian-urweb	Debian packaging for Ur/Web	5 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	6 years	summary log tree
zephyr	an institutional/enterprise-scale real-time messaging and notification system	6 years	summary log tree
astc-codec	Adaptive Scalable Texture Compression implementation	6 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	7 years	summary log tree
mpv	video player based on MPlayer/mplayer2	7 years	summary log tree
debian-xcwd	Debian packaging for xcwd	7 years	summary log tree
tensorflow	machine learning framework	7 years	summary log tree
urweb-crypto-hash-openssl	Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions	7 years	summary log tree