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