git.benjamin.barenblat.name

Name	Description	Idle	Links
urweb-gravatar	Ur/Web Gravatar library	11 years	summary log tree
urweb-markdown	Ur/Web Markdown parser	11 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	12 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	12 years	summary log tree
B	a new way to look at the Agda standard library	11 years	summary log tree
stitchbarn	aggregate cross stitch patterns	13 days	summary log tree
zephyr	an institutional/enterprise-scale real-time messaging and notification system	6 years	summary log tree
jarvis	asynchronous interactive shell	11 years	summary log tree
dewpoint	calculate dew points	4 years	summary log tree
18.022	cheat sheet for vector and multivariable calculus	15 years	summary log tree
oss-fuzz	continuous fuzzing for open source software	4 years	summary log tree
FiveUI	extensible UI analysis in your browser	12 years	summary log tree
6.947	fake course web site	13 years	summary log tree
fiat-crypto	fast, formally verified cryptography	7 years	summary log tree
textadept	fast, minimalist, Lua-extensible editor	4 years	summary log tree
git-fetch-pr	fetch GitHub pull requests by URL	6 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	12 years	summary log tree
urweb	functional programming language for web programming	16 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	4 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...	15 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	10 years	summary log tree
skiphead	preserve headers when grepping through program output	4 years	summary log tree
brightnessctl	read and control device brightness	6 years	summary log tree
libfuse	reference implementation of the Linux FUSE (Filesystem in Userspace) interface	8 years	summary log tree
mosh	remote login with local echo and roaming	3 years	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	8 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	11 years	summary log tree
st	simple terminal	11 years	summary log tree
cc-skeleton	skeleton for C++ projects	11 years	summary log tree
ec	terminal-based RPN calculator	4 years	summary log tree
coq	the Coq proof assistant	8 years	summary log tree
notmuch	thread-based email index, search and tagging	11 years	summary log tree
goldfishwm	tiling window manager for Linux	4 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	10 years	summary log tree