git.benjamin.barenblat.name

Name	Description	Idle	Links
bazel	a fast, scalable, multi-language and extensible build system	6 years	summary log tree
libfuse	reference implementation of the Linux FUSE (Filesystem in Userspace) interface	6 years	summary log tree
skia	2D graphics library	6 years	summary log tree
coq	the Coq proof assistant	6 years	summary log tree
firebase-ios-sdk	Firebase iOS SDK	6 years	summary log tree
protobuf	Protocol Buffers – Google’s data interchange format	6 years	summary log tree
notmuch_watcher.hs	run `notmuch new` whenever mail is delivered to your maildir	6 years	summary log tree
underlying.c	find the underlying program in a wrapper script	7 years	summary log tree
fish_riddle.smt2	SMT-LIB solution to the fish riddle	7 years	summary log tree
haskell-unix	POSIX functionality	7 years	summary log tree
ugtd	GTD software	7 years	summary log tree
debian-boogie	Debian packaging for Boogie	8 years	summary log tree
riscv-opcodes	RISC-V opcodes	8 years	summary log tree
fish-shell	user-friendly command line shell	8 years	summary log tree
debian-dafny	Debian packaging for Dafny	8 years	summary log tree
pndpowerd	power management daemon for the OpenPandora handheld	8 years	summary log tree
debian-dwarf-fortress	Debian packaging for Dwarf Fortress	9 years	summary log tree
debian-deadbeef	Debian packaging for DeaDBeeF	9 years	summary log tree
urweb-regex	Ur/Web regular expression library	9 years	summary log tree
urweb-crypto-random-openssl	generate cryptographically secure random bytes (please read README.md)	9 years	summary log tree
citra	Nintendo 3DS emulator/debugger	9 years	summary log tree
st	simple terminal	9 years	summary log tree
urweb-markdown	Ur/Web Markdown parser	9 years	summary log tree
bazel-ocaml	Skylark rules for OCaml	9 years	summary log tree
urwiki	wiki software written in Ur/Web	9 years	summary log tree
urweb-gravatar	Ur/Web Gravatar library	9 years	summary log tree
jarvis	asynchronous interactive shell	9 years	summary log tree
B	a new way to look at the Agda standard library	9 years	summary log tree
debian-secpwgen	Debian packaging for secpwgen	9 years	summary log tree
cc-skeleton	skeleton for C++ projects	9 years	summary log tree
bluespec-buffer	Bluespec buffer bank	9 years	summary log tree
lyt	simple literate programming tool	9 years	summary log tree
debian-compcert	Debian packaging for CompCert	9 years	summary log tree
notmuch	thread-based email index, search and tagging	10 years	summary log tree
offlineimap.el	OfflineIMAP support for Emacs	10 years	summary log tree
debathena-extra-software		10 years	summary log tree
gpg-forward-agent	forward your gpg-agent connections via SSH	10 years	summary log tree
ppamltracer	a lightweight, portable tracing library	10 years	summary log tree
ppaml-vrep-automobile-plugin	V-REP plugin to extract sensor data from a vehicle with Ackermann steering	10 years	summary log tree
sipb-code-of-conduct		10 years	summary log tree
FiveUI	extensible UI analysis in your browser	10 years	summary log tree
hierarchical-exceptions	Template Haskell functions to easily create exception hierarchies	10 years	summary log tree
dagitfix	tools to ~automatically fix packaging and branching of Debathena repositories	11 years	summary log tree
urweb_bcrypt	Ur FFI module for the bcrypt hash algorithm	11 years	summary log tree
6.947	fake course web site	11 years	summary log tree
ageOf	pluggable utility to determine somebody’s age	11 years	summary log tree
dns	Haskell DNS library	12 years	summary log tree
livestreamer	CLI program that captures streams from various streaming services	12 years	summary log tree
uzbl	web browser that adheres to the Unix philosophy	12 years	summary log tree
6033dp1	LaTeX class for 6.033 design project 1	12 years	summary log tree