git.benjamin.barenblat.name

Name	Description	Idle	Links
ready for use
6033dp1	LaTeX class for 6.033 design project 1	6 years	summary log tree
6.947	fake course web site	5 years	summary log tree
18.022	cheat sheet for vector and multivariable calculus	8 years	summary log tree
ageOf	pluggable utility to determine somebody’s age	6 years	summary log tree
bitutils	scripts to ease working with binary numbers	14 months	summary log tree
bluespec-buffer	Bluespec buffer bank	4 years	summary log tree
debian-boogie	Debian packaging for Boogie	23 months	summary log tree
debian-dafny	Debian packaging for Dafny	2 years	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	3 months	summary log tree
debian-urweb	Debian packaging for Ur/Web	12 months	summary log tree
debian-xcwd	Debian packaging for xcwd	7 months	summary log tree
fish_riddle.smt2	SMT-LIB solution to the fish riddle	13 months	summary log tree
gtd-txt	Getting Things Done in plain text	12 months	summary log tree
hierarchical-exceptions	Template Haskell functions to easily create exception hierarchies	5 years	summary log tree
lyt	simple literate programming tool	4 years	summary log tree
notmuch_watcher.hs	run `notmuch new` whenever mail is delivered to your maildir	8 months	summary log tree
pndpowerd	power management daemon for the OpenPandora handheld	2 years	summary log tree
scoville	file name translator overlay	3 months	summary log tree
underlying.c	find the underlying program in a wrapper script	12 months	summary log tree
urweb_bcrypt	Ur FFI module for the bcrypt hash algorithm	5 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)	3 years	summary log tree
urweb-gravatar	Ur/Web Gravatar library	3 years	summary log tree
urweb-regex	Ur/Web regular expression library	3 years	summary log tree
wayback-machine-button	Chrome extension to reopen the current page in the Wayback Machine	14 days	summary log tree
work in progress
bazel-ocaml	Skylark rules for OCaml	3 years	summary log tree
btls	BoringSSL-backed TLS and cryptography library for Haskell	3 days	summary log tree
debian-deadbeef	Debian packaging for DeaDBeeF	3 years	summary log tree
old and unmaintained
B	a new way to look at the Agda standard library	3 years	summary log tree
cc-skeleton	skeleton for C++ projects	4 years	summary log tree
debian-compcert	Debian packaging for CompCert	4 years	summary log tree
debian-dwarf-fortress	Debian packaging for Dwarf Fortress	3 years	summary log tree
debian-secpwgen	Debian packaging for secpwgen	3 years	summary log tree
jarvis	asynchronous interactive shell	3 years	summary log tree
gpg-forward-agent	forward your gpg-agent connections via SSH	4 years	summary log tree
ppamltracer	a lightweight, portable tracing library	4 years	summary log tree
ppaml-vrep-automobile-plugin	V-REP plugin to extract sensor data from a vehicle with Ackermann steering	5 years	summary log tree
ugtd	GTD software	20 months	summary log tree
urweb-markdown	Ur/Web Markdown parser	3 years	summary log tree
urwiki	wiki software written in Ur/Web	3 years	summary log tree
forks
bazel	a fast, scalable, multi-language and extensible build system	6 weeks	summary log tree
citra	Nintendo 3DS emulator/debugger	3 years	summary log tree
Burton-Conner-Tetris-Battle	Tetris installation controlled by DDR pads on the side of Burton-Conner	7 years	summary log tree
coq	the Coq proof assistant	2 months	summary log tree
dagitfix	tools to ~automatically fix packaging and branching of Debathena repositories	5 years	summary log tree
debathena-extra-software		4 years	summary log tree
dns	Haskell DNS library	6 years	summary log tree
easytag	Git repo of the development series of EasyTag (as there is no official SCM)	7 years	summary log tree
firebase-ios-sdk	Firebase iOS SDK	2 months	summary log tree
fish-shell	user-friendly command line shell	2 years	summary log tree
FiveUI	extensible UI analysis in your browser	5 years	summary log tree
haskell-unix	POSIX functionality	15 months	summary log tree
libfuse	reference implementation of the Linux FUSE (Filesystem in Userspace) interface	7 weeks	summary log tree
livestreamer	CLI program that captures streams from various streaming services	6 years	summary log tree
mailcore2	simple and asynchronous API to work with IMAP, POP, and SMTP	2 months	summary log tree
notmuch	thread-based email index, search and tagging	4 years	summary log tree
offlineimap.el	OfflineIMAP support for Emacs	4 years	summary log tree
protobuf	Protocol Buffers – Google’s data interchange format	2 months	summary log tree
riscv-opcodes	RISC-V opcodes	2 years	summary log tree
sipb-code-of-conduct		5 years	summary log tree
skia	2D graphics library	8 weeks	summary log tree
SmootLight	modular control system for interactive large-scale pixel-based light installatio...	8 years	summary log tree
st	simple terminal	3 years	summary log tree
urweb	functional programming language for web programming	3 months	summary log tree
uzbl	web browser that adheres to the Unix philosophy	6 years	summary log tree