git.benjamin.barenblat.name

Name	Description	Idle	Links
urweb-gravatar	Ur/Web Gravatar library	10 years	summary log tree
urweb-markdown	Ur/Web Markdown parser	10 years	summary log tree
urweb-regex	Ur/Web regular expression library	10 years	summary log tree
ppaml-vrep-automobile-plugin	V-REP plugin to extract sensor data from a vehicle with Ackermann steering	11 years	summary log tree
bazel	a fast, scalable, multi-language and extensible build system	7 years	summary log tree
ppamltracer	a lightweight, portable tracing library	11 years	summary log tree
B	a new way to look at the Agda standard library	10 years	summary log tree
zephyr	an institutional/enterprise-scale real-time messaging and notification system	6 years	summary log tree
jarvis	asynchronous interactive shell	10 years	summary log tree
dewpoint	calculate dew points	4 years	summary log tree
18.022	cheat sheet for vector and multivariable calculus	14 years	summary log tree
oss-fuzz	continuous fuzzing for open source software	3 years	summary log tree
FiveUI	extensible UI analysis in your browser	11 years	summary log tree
6.947	fake course web site	12 years	summary log tree
fiat-crypto	fast, formally verified cryptography	6 years	summary log tree
textadept	fast, minimalist, Lua-extensible editor	3 years	summary log tree
git-fetch-pr	fetch GitHub pull requests by URL	5 years	summary log tree
scoville	file name translator overlay	5 years	summary log tree
underlying.c	find the underlying program in a wrapper script	8 years	summary log tree
gpg-forward-agent	forward your gpg-agent connections via SSH	11 years	summary log tree
urweb	functional programming language for web programming	9 months	summary log tree
urweb-crypto-random-openssl	generate cryptographically secure random bytes (please read README.md)	10 years	summary log tree
git-annex-gpl	git-annex without the AGPL	3 years	summary log tree
xscreensaver-dbus	let Chrome suspend XScreenSaver during video playback	4 years	summary log tree
tensorflow	machine learning framework	7 years	summary log tree
localsubnetsetd	maintain nftables sets for local subnets	4 years	summary log tree
xssxss	make Chrome suspend XScreenSaver during video playback	5 years	summary log tree
SmootLight	modular control system for interactive large-scale pixel-based light installatio...	14 years	summary log tree
laptopfs	network file system designed for disconnected operation	4 years	summary log tree
pose	original Palm OS emulator	4 years	summary log tree
ageOf	pluggable utility to determine somebody’s age	13 years	summary log tree
pndpowerd	power management daemon for the OpenPandora handheld	9 years	summary log tree
skiphead	preserve headers when grepping through program output	3 years	summary log tree
brightnessctl	read and control device brightness	5 years	summary log tree
libfuse	reference implementation of the Linux FUSE (Filesystem in Userspace) interface	7 years	summary log tree
mosh	remote login with local echo and roaming	23 months	summary log tree
gsrsup	resumable streaming uploads for Google Cloud Storage	4 years	summary log tree
notmuch_watcher.hs	run `notmuch new` whenever mail is delivered to your maildir	7 years	summary log tree
bitutils	scripts to ease working with binary numbers	4 years	summary log tree
mailcore2	simple and asynchronous API to work with IMAP, POP, and SMTP	6 years	summary log tree
lyt	simple literate programming tool	10 years	summary log tree
st	simple terminal	10 years	summary log tree
cc-skeleton	skeleton for C++ projects	10 years	summary log tree
ec	terminal-based RPN calculator	4 years	summary log tree
coq	the Coq proof assistant	7 years	summary log tree
notmuch	thread-based email index, search and tagging	11 years	summary log tree
goldfishwm	tiling window manager for Linux	3 years	summary log tree
dagitfix	tools to ~automatically fix packaging and branching of Debathena repositories	12 years	summary log tree
fish-shell	user-friendly command line shell	9 years	summary log tree
google-toolbox-for-mac	utility library for Apple development	5 years	summary log tree