git.benjamin.barenblat.name

Name	Description	Idle	Links
ready for use
6033dp1	LaTeX class for 6.033 design project 1	7 years	summary log tree
6.947	fake course web site	6 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	22 months	summary log tree
bluespec-buffer	Bluespec buffer bank	4 years	summary log tree
debian-coq	Debian packaging for Coq	4 months	summary log tree
debian-rcm	Debian packaging for rcm	5 months	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	5 months	summary log tree
debian-urweb	Debian packaging for Ur/Web	20 months	summary log tree
debian-xcwd	Debian packaging for xcwd	6 months	summary log tree
fish_riddle.smt2	SMT-LIB solution to the fish riddle	21 months	summary log tree
gtd-txt	Getting Things Done in plain text	20 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	16 months	summary log tree
pndpowerd	power management daemon for the OpenPandora handheld	3 years	summary log tree
scoville	file name translator overlay	11 months	summary log tree
underlying.c	find the underlying program in a wrapper script	20 months	summary log tree
urweb_bcrypt	Ur FFI module for the bcrypt hash algorithm	6 years	summary log tree
urweb-crypto-hash-openssl	Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions	8 months	summary log tree
urweb-crypto-random-openssl	generate cryptographically secure random bytes (please read README.md)	4 years	summary log tree
urweb-gravatar	Ur/Web Gravatar library	4 years	summary log tree
urweb-regex	Ur/Web regular expression library	4 years	summary log tree
wayback-machine-button	Chrome extension to reopen the current page in the Wayback Machine	2 weeks	summary log tree
work in progress
btls	BoringSSL-backed TLS and cryptography library for Haskell	5 months	summary log tree
debian-deadbeef	Debian packaging for DeaDBeeF	4 years	summary log tree
old and unmaintained
B	a new way to look at the Agda standard library	4 years	summary log tree
bazel-ocaml	Skylark rules for OCaml	4 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-boogie	Debian packaging for Boogie	3 years	summary log tree
debian-dafny	Debian packaging for Dafny	3 years	summary log tree
debian-dwarf-fortress	Debian packaging for Dwarf Fortress	4 years	summary log tree
debian-secpwgen	Debian packaging for secpwgen	4 years	summary log tree
jarvis	asynchronous interactive shell	4 years	summary log tree
gpg-forward-agent	forward your gpg-agent connections via SSH	5 years	summary log tree
ppamltracer	a lightweight, portable tracing library	5 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	2 years	summary log tree
urweb-markdown	Ur/Web Markdown parser	4 years	summary log tree
urwiki	wiki software written in Ur/Web	4 years	summary log tree
software I’ve patched
bazel	a fast, scalable, multi-language and extensible build system	9 months	summary log tree
citra	Nintendo 3DS emulator/debugger	4 years	summary log tree
Burton-Conner-Tetris-Battle	Tetris installation controlled by DDR pads on the side of Burton-Conner	8 years	summary log tree
coq	the Coq proof assistant	10 months	summary log tree
dagitfix	tools to ~automatically fix packaging and branching of Debathena repositories	6 years	summary log tree
debathena-extra-software		5 years	summary log tree
debian-aac-tactics	Debian packaging for aac-tactics	3 months	summary log tree
dns	Haskell DNS library	7 years	summary log tree
easytag	Git repo of the development series of EasyTag (as there is no official SCM)	8 years	summary log tree
fiat-crypto	fast, formally verified cryptography	4 weeks	summary log tree
firebase-ios-sdk	Firebase iOS SDK	10 months	summary log tree
fish-shell	user-friendly command line shell	3 years	summary log tree
FiveUI	extensible UI analysis in your browser	5 years	summary log tree
grpc	RPC system from Google	4 months	summary log tree
haskell-unix	POSIX functionality	23 months	summary log tree
libfuse	reference implementation of the Linux FUSE (Filesystem in Userspace) interface	10 months	summary log tree
livestreamer	CLI program that captures streams from various streaming services	7 years	summary log tree
mailcore2	simple and asynchronous API to work with IMAP, POP, and SMTP	10 months	summary log tree
mpv	video player based on MPlayer/mplayer2	5 months	summary log tree
notmuch	thread-based email index, search and tagging	5 years	summary log tree
offlineimap.el	OfflineIMAP support for Emacs	5 years	summary log tree
proof-general	Emacs interface for proof assistants	5 weeks	summary log tree
protobuf	Protocol Buffers – Google’s data interchange format	10 months	summary log tree
riscv-opcodes	RISC-V opcodes	3 years	summary log tree
sipb-code-of-conduct		5 years	summary log tree
skia	2D graphics library	10 months	summary log tree
SmootLight	modular control system for interactive large-scale pixel-based light installatio...	8 years	summary log tree
st	simple terminal	4 years	summary log tree
tensorflow	machine learning framework	7 months	summary log tree
urweb	functional programming language for web programming	7 months	summary log tree
uzbl	web browser that adheres to the Unix philosophy	7 years	summary log tree