git.benjamin.barenblat.name

Name	Description	Idle	Links
debathena-extra-software		11 years	summary log tree
sipb-code-of-conduct		11 years	summary log tree
skia	2D graphics library	7 years	summary log tree
astc-codec	Adaptive Scalable Texture Compression implementation	6 years	summary log tree
meeus48	Astronomical Algorithms for the HP 48	3 years	summary log tree
abseil	Base functionality library for C++	5 years	summary log tree
bluespec-buffer	Bluespec buffer bank	10 years	summary log tree
btls	BoringSSL-backed TLS and cryptography library for Haskell	4 years	summary log tree
binser	C++ code generator for binary serialization/deserialization	3 years	summary log tree
eigen	C++ library for linear algebra	4 years	summary log tree
audiotrond	CFA635-based interface for MPD	3 years	summary log tree
livestreamer	CLI program that captures streams from various streaming services	13 years	summary log tree
disable-keyboard-shortcuts	Chrome extension to disable keyboard shortcuts	4 years	summary log tree
wayback-machine-button	Chrome extension to reopen the current page in the Wayback Machine	14 months	summary log tree
debian-abseil	Debian packaging for Abseil	10 months	summary log tree
debian-boogie	Debian packaging for Boogie	9 years	summary log tree
debian-compcert	Debian packaging for CompCert	10 years	summary log tree
debian-coq	Debian packaging for Coq	6 years	summary log tree
debian-dafny	Debian packaging for Dafny	9 years	summary log tree
debian-deadbeef	Debian packaging for DeaDBeeF	10 years	summary log tree
debian-dwarf-fortress	Debian packaging for Dwarf Fortress	10 years	summary log tree
debian-urweb	Debian packaging for Ur/Web	5 years	summary log tree
debian-aac-tactics	Debian packaging for aac-tactics	6 years	summary log tree
debian-rcm	Debian packaging for rcm	5 years	summary log tree
debian-secpwgen	Debian packaging for secpwgen	10 years	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	5 years	summary log tree
debian-xcwd	Debian packaging for xcwd	7 years	summary log tree
proof-general	Emacs interface for proof assistants	6 years	summary log tree
firebase-ios-sdk	Firebase iOS SDK	7 years	summary log tree
ugtd	GTD software	8 years	summary log tree
gtd-txt	Getting Things Done in plain text	4 years	summary log tree
easytag	Git repo of the development series of EasyTag (as there is no official SCM)	14 years	summary log tree
dns	Haskell DNS library	13 years	summary log tree
6033dp1	LaTeX class for 6.033 design project 1	13 years	summary log tree
citra	Nintendo 3DS emulator/debugger	10 years	summary log tree
offlineimap.el	OfflineIMAP support for Emacs	11 years	summary log tree
glplanet	OpenGL-based planetary renderer	3 years	summary log tree
haskell-unix	POSIX functionality	8 years	summary log tree
walk	Plan 9 style utilities to replace find(1)	3 years	summary log tree
protobuf	Protocol Buffers – Google’s data interchange format	7 years	summary log tree
pavmon	PulseAudio sink volume monitor	3 years	summary log tree
riscv-opcodes	RISC-V opcodes	9 years	summary log tree
grpc	RPC system from Google	6 years	summary log tree
fish_riddle.smt2	SMT-LIB solution to the fish riddle	8 years	summary log tree
bazel-ocaml	Skylark rules for OCaml	10 years	summary log tree
hp48-authenticator	TOTP for the HP 48	3 years	summary log tree
hierarchical-exceptions	Template Haskell functions to easily create exception hierarchies	11 years	summary log tree
Burton-Conner-Tetris-Battle	Tetris installation controlled by DDR pads on the side of Burton-Conner	14 years	summary log tree
urweb_bcrypt	Ur FFI module for the bcrypt hash algorithm	12 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