git.benjamin.barenblat.name

Name	Description	Idle	Links
old, unmaintained, or incomplete
jarvis	asynchronous interactive shell	7 years	summary log tree
goldfishwm	tiling window manager for Linux	6 months	summary log tree
gpg-forward-agent	forward your gpg-agent connections via SSH	8 years	summary log tree
hp48-authenticator	TOTP for the HP 48	6 months	summary log tree
laptopfs	network file system designed for disconnected operation	10 months	summary log tree
meeus48	Astronomical Algorithms for the HP 48	6 months	summary log tree
ppamltracer	a lightweight, portable tracing library	8 years	summary log tree
ppaml-vrep-automobile-plugin	V-REP plugin to extract sensor data from a vehicle with Ackermann steering	8 years	summary log tree
ugtd	GTD software	6 years	summary log tree
urweb-markdown	Ur/Web Markdown parser	7 years	summary log tree
urwiki	wiki software written in Ur/Web	7 years	summary log tree
xssxss	make Chrome suspend XScreenSaver during video playback	21 months	summary log tree
software I’ve patched
abseil	Base functionality library for C++	2 years	summary log tree
astc-codec	Adaptive Scalable Texture Compression implementation	3 years	summary log tree
bazel	a fast, scalable, multi-language and extensible build system	4 years	summary log tree
brightnessctl	read and control device brightness	2 years	summary log tree
citra	Nintendo 3DS emulator/debugger	7 years	summary log tree
Burton-Conner-Tetris-Battle	Tetris installation controlled by DDR pads on the side of Burton-Conner	11 years	summary log tree
coq	the Coq proof assistant	4 years	summary log tree
dagitfix	tools to ~automatically fix packaging and branching of Debathena repositories	9 years	summary log tree
debathena-extra-software		8 years	summary log tree
debian-aac-tactics	Debian packaging for aac-tactics	3 years	summary log tree
dns	Haskell DNS library	10 years	summary log tree
easytag	Git repo of the development series of EasyTag (as there is no official SCM)	11 years	summary log tree
eigen	C++ library for linear algebra	13 months	summary log tree
fiat-crypto	fast, formally verified cryptography	3 years	summary log tree
firebase-ios-sdk	Firebase iOS SDK	4 years	summary log tree
fish-shell	user-friendly command line shell	6 years	summary log tree
FiveUI	extensible UI analysis in your browser	9 years	summary log tree
google-toolbox-for-mac	utility library for Apple development	20 months	summary log tree
grpc	RPC system from Google	4 years	summary log tree
haskell-unix	POSIX functionality	5 years	summary log tree
libfuse	reference implementation of the Linux FUSE (Filesystem in Userspace) interface	4 years	summary log tree
livestreamer	CLI program that captures streams from various streaming services	10 years	summary log tree
mailcore2	simple and asynchronous API to work with IMAP, POP, and SMTP	3 years	summary log tree
miniflux	web-based RSS/Atom reader	3 years	summary log tree
mosh	remote login with local echo and roaming	4 days	summary log tree
mpv	video player based on MPlayer/mplayer2	4 years	summary log tree
notmuch	thread-based email index, search and tagging	8 years	summary log tree
offlineimap.el	OfflineIMAP support for Emacs	8 years	summary log tree
oss-fuzz	continuous fuzzing for open source software	3 weeks	summary log tree
pose	original Palm OS emulator	8 months	summary log tree
proof-general	Emacs interface for proof assistants	3 years	summary log tree
protobuf	Protocol Buffers – Google’s data interchange format	4 years	summary log tree
riscv-opcodes	RISC-V opcodes	6 years	summary log tree
sipb-code-of-conduct		8 years	summary log tree
skia	2D graphics library	4 years	summary log tree
SmootLight	modular control system for interactive large-scale pixel-based light installatio...	11 years	summary log tree
st	simple terminal	7 years	summary log tree
tensorflow	machine learning framework	4 years	summary log tree