git.benjamin.barenblat.name

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