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	7 years	summary log tree
bitutils	scripts to ease working with binary numbers	24 months	summary log tree
bluespec-buffer	Bluespec buffer bank	4 years	summary log tree
debian-coq	Debian packaging for Coq	5 months	summary log tree
debian-rcm	Debian packaging for rcm	6 months	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	6 months	summary log tree
debian-urweb	Debian packaging for Ur/Web	22 months	summary log tree
debian-xcwd	Debian packaging for xcwd	8 months	summary log tree
fish_riddle.smt2	SMT-LIB solution to the fish riddle	23 months	summary log tree
gtd-txt	Getting Things Done in plain text	22 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	18 months	summary log tree
pndpowerd	power management daemon for the OpenPandora handheld	3 years	summary log tree
scoville	file name translator overlay	13 months	summary log tree
underlying.c	find the underlying program in a wrapper script	22 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	9 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 months	summary log tree
work in progress
btls	BoringSSL-backed TLS and cryptography library for Haskell	7 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	3 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
astc-codec	Adaptive Scalable Texture Compression implementation	5 weeks	summary log tree
bazel	a fast, scalable, multi-language and extensible build system	11 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	12 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	5 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	3 months	summary log tree
firebase-ios-sdk	Firebase iOS SDK	12 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	6 months	summary log tree
haskell-unix	POSIX functionality	2 years	summary log tree
libfuse	reference implementation of the Linux FUSE (Filesystem in Userspace) interface	12 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	12 months	summary log tree
mpv	video player based on MPlayer/mplayer2	7 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	3 months	summary log tree
protobuf	Protocol Buffers – Google’s data interchange format	12 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	12 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	9 months	summary log tree
urweb	functional programming language for web programming	8 months	summary log tree
uzbl	web browser that adheres to the Unix philosophy	7 years	summary log tree