git.benjamin.barenblat.name
index
Name
Description
Idle
Links
urweb
functional programming language for web programming
9 months
summary
log
tree
debian-abseil
Debian packaging for Abseil
10 months
summary
log
tree
wayback-machine-button
Chrome extension to reopen the current page in the Wayback Machine
14 months
summary
log
tree
mosh
remote login with local echo and roaming
23 months
summary
log
tree
audiotrond
CFA635-based interface for MPD
3 years
summary
log
tree
oss-fuzz
continuous fuzzing for open source software
3 years
summary
log
tree
walk
Plan 9 style utilities to replace find(1)
3 years
summary
log
tree
textadept
fast, minimalist, Lua-extensible editor
3 years
summary
log
tree
goldfishwm
tiling window manager for Linux
3 years
summary
log
tree
hp48-authenticator
TOTP for the HP 48
3 years
summary
log
tree
meeus48
Astronomical Algorithms for the HP 48
3 years
summary
log
tree
binser
C++ code generator for binary serialization/deserialization
3 years
summary
log
tree
pavmon
PulseAudio sink volume monitor
3 years
summary
log
tree
skiphead
preserve headers when grepping through program output
3 years
summary
log
tree
git-annex-gpl
git-annex without the AGPL
3 years
summary
log
tree
glplanet
OpenGL-based planetary renderer
3 years
summary
log
tree
ec
terminal-based RPN calculator
4 years
summary
log
tree
disable-keyboard-shortcuts
Chrome extension to disable keyboard shortcuts
4 years
summary
log
tree
pose
original Palm OS emulator
4 years
summary
log
tree
laptopfs
network file system designed for disconnected operation
4 years
summary
log
tree
dewpoint
calculate dew points
4 years
summary
log
tree
xscreensaver-dbus
let Chrome suspend XScreenSaver during video playback
4 years
summary
log
tree
localsubnetsetd
maintain nftables sets for local subnets
4 years
summary
log
tree
gtd-txt
Getting Things Done in plain text
4 years
summary
log
tree
gsrsup
resumable streaming uploads for Google Cloud Storage
4 years
summary
log
tree
btls
BoringSSL-backed TLS and cryptography library for Haskell
4 years
summary
log
tree
bitutils
scripts to ease working with binary numbers
4 years
summary
log
tree
eigen
C++ library for linear algebra
4 years
summary
log
tree
debian-transmission-remote-gtk
Debian packaging for transmission-remote-gtk
4 years
summary
log
tree
google-toolbox-for-mac
utility library for Apple development
5 years
summary
log
tree
xssxss
make Chrome suspend XScreenSaver during video playback
5 years
summary
log
tree
debian-rcm
Debian packaging for rcm
5 years
summary
log
tree
scoville
file name translator overlay
5 years
summary
log
tree
git-fetch-pr
fetch GitHub pull requests by URL
5 years
summary
log
tree
debian-urweb
Debian packaging for Ur/Web
5 years
summary
log
tree
brightnessctl
read and control device brightness
5 years
summary
log
tree
abseil
Base functionality library for C++
5 years
summary
log
tree
miniflux
web-based RSS/Atom reader
5 years
summary
log
tree
mailcore2
simple and asynchronous API to work with IMAP, POP, and SMTP
6 years
summary
log
tree
zephyr
an institutional/enterprise-scale real-time messaging and notification system
6 years
summary
log
tree
astc-codec
Adaptive Scalable Texture Compression implementation
6 years
summary
log
tree
fiat-crypto
fast, formally verified cryptography
6 years
summary
log
tree
proof-general
Emacs interface for proof assistants
6 years
summary
log
tree
debian-aac-tactics
Debian packaging for aac-tactics
6 years
summary
log
tree
debian-coq
Debian packaging for Coq
6 years
summary
log
tree
grpc
RPC system from Google
6 years
summary
log
tree
mpv
video player based on MPlayer/mplayer2
7 years
summary
log
tree
debian-xcwd
Debian packaging for xcwd
7 years
summary
log
tree
tensorflow
machine learning framework
7 years
summary
log
tree
urweb-crypto-hash-openssl
Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions
7 years
summary
log
tree
[1]
[2]
[3]