git.benjamin.barenblat.name
index
Name
Description
Idle
Links
xscreensaver-dbus
let Chrome suspend XScreenSaver during video playback
6 weeks
summary
log
tree
wayback-machine-button
Chrome extension to reopen the current page in the Wayback Machine
6 weeks
summary
log
tree
walk
Plan 9 style utilities to replace find(1)
6 weeks
summary
log
tree
localsubnetsetd
maintain nftables sets for local subnets
6 weeks
summary
log
tree
gtd-txt
Getting Things Done in plain text
6 weeks
summary
log
tree
gsrsup
resumable streaming uploads for Google Cloud Storage
6 weeks
summary
log
tree
disable-keyboard-shortcuts
Chrome extension to disable keyboard shortcuts
6 weeks
summary
log
tree
btls
BoringSSL-backed TLS and cryptography library for Haskell
6 weeks
summary
log
tree
bitutils
scripts to ease working with binary numbers
6 weeks
summary
log
tree
eigen
C++ library for linear algebra
3 months
summary
log
tree
debian-abseil
Debian packaging for Abseil
7 months
summary
log
tree
debian-transmission-remote-gtk
Debian packaging for transmission-remote-gtk
8 months
summary
log
tree
google-toolbox-for-mac
utility library for Apple development
9 months
summary
log
tree
xssxss
make Chrome suspend XScreenSaver during video playback
10 months
summary
log
tree
debian-rcm
Debian packaging for rcm
11 months
summary
log
tree
scoville
file name translator overlay
11 months
summary
log
tree
git-fetch-pr
fetch GitHub pull requests by URL
16 months
summary
log
tree
debian-urweb
Debian packaging for Ur/Web
16 months
summary
log
tree
brightnessctl
read and control device brightness
16 months
summary
log
tree
abseil
Base functionality library for C++
19 months
summary
log
tree
miniflux
web-based RSS/Atom reader
20 months
summary
log
tree
mailcore2
simple and asynchronous API to work with IMAP, POP, and SMTP
21 months
summary
log
tree
zephyr
an institutional/enterprise-scale real-time messaging and notification system
22 months
summary
log
tree
astc-codec
Adaptive Scalable Texture Compression implementation
2 years
summary
log
tree
fiat-crypto
fast, formally verified cryptography
2 years
summary
log
tree
proof-general
Emacs interface for proof assistants
2 years
summary
log
tree
debian-aac-tactics
Debian packaging for aac-tactics
3 years
summary
log
tree
debian-coq
Debian packaging for Coq
3 years
summary
log
tree
grpc
RPC system from Google
3 years
summary
log
tree
mpv
video player based on MPlayer/mplayer2
3 years
summary
log
tree
debian-xcwd
Debian packaging for xcwd
3 years
summary
log
tree
urweb
functional programming language for web programming
3 years
summary
log
tree
tensorflow
machine learning framework
3 years
summary
log
tree
urweb-crypto-hash-openssl
Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions
3 years
summary
log
tree
bazel
a fast, scalable, multi-language and extensible build system
3 years
summary
log
tree
libfuse
reference implementation of the Linux FUSE (Filesystem in Userspace) interface
3 years
summary
log
tree
skia
2D graphics library
3 years
summary
log
tree
coq
the Coq proof assistant
3 years
summary
log
tree
firebase-ios-sdk
Firebase iOS SDK
3 years
summary
log
tree
protobuf
Protocol Buffers – Google’s data interchange format
3 years
summary
log
tree
notmuch_watcher.hs
run `notmuch new` whenever mail is delivered to your maildir
4 years
summary
log
tree
underlying.c
find the underlying program in a wrapper script
4 years
summary
log
tree
fish_riddle.smt2
SMT-LIB solution to the fish riddle
4 years
summary
log
tree
haskell-unix
POSIX functionality
4 years
summary
log
tree
ugtd
GTD software
5 years
summary
log
tree
debian-boogie
Debian packaging for Boogie
5 years
summary
log
tree
riscv-opcodes
RISC-V opcodes
5 years
summary
log
tree
fish-shell
user-friendly command line shell
5 years
summary
log
tree
debian-dafny
Debian packaging for Dafny
5 years
summary
log
tree
pndpowerd
power management daemon for the OpenPandora handheld
5 years
summary
log
tree
debian-dwarf-fortress
Debian packaging for Dwarf Fortress
6 years
summary
log
tree
debian-deadbeef
Debian packaging for DeaDBeeF
6 years
summary
log
tree
urweb-regex
Ur/Web regular expression library
6 years
summary
log
tree
urweb-crypto-random-openssl
generate cryptographically secure random bytes (please read README.md)
6 years
summary
log
tree
citra
Nintendo 3DS emulator/debugger
6 years
summary
log
tree
st
simple terminal
6 years
summary
log
tree
urweb-markdown
Ur/Web Markdown parser
6 years
summary
log
tree
bazel-ocaml
Skylark rules for OCaml
6 years
summary
log
tree
urwiki
wiki software written in Ur/Web
6 years
summary
log
tree
urweb-gravatar
Ur/Web Gravatar library
6 years
summary
log
tree
jarvis
asynchronous interactive shell
6 years
summary
log
tree
B
a new way to look at the Agda standard library
6 years
summary
log
tree
debian-secpwgen
Debian packaging for secpwgen
6 years
summary
log
tree
cc-skeleton
skeleton for C++ projects
7 years
summary
log
tree
bluespec-buffer
Bluespec buffer bank
7 years
summary
log
tree
lyt
simple literate programming tool
7 years
summary
log
tree
debian-compcert
Debian packaging for CompCert
7 years
summary
log
tree
notmuch
thread-based email index, search and tagging
7 years
summary
log
tree
offlineimap.el
OfflineIMAP support for Emacs
7 years
summary
log
tree
debathena-extra-software
7 years
summary
log
tree
gpg-forward-agent
forward your gpg-agent connections via SSH
7 years
summary
log
tree
ppamltracer
a lightweight, portable tracing library
7 years
summary
log
tree
ppaml-vrep-automobile-plugin
V-REP plugin to extract sensor data from a vehicle with Ackermann steering
8 years
summary
log
tree
sipb-code-of-conduct
8 years
summary
log
tree
FiveUI
extensible UI analysis in your browser
8 years
summary
log
tree
hierarchical-exceptions
Template Haskell functions to easily create exception hierarchies
8 years
summary
log
tree
dagitfix
tools to ~automatically fix packaging and branching of Debathena repositories
8 years
summary
log
tree
urweb_bcrypt
Ur FFI module for the bcrypt hash algorithm
8 years
summary
log
tree
6.947
fake course web site
8 years
summary
log
tree
ageOf
pluggable utility to determine somebody’s age
9 years
summary
log
tree
dns
Haskell DNS library
9 years
summary
log
tree
livestreamer
CLI program that captures streams from various streaming services
9 years
summary
log
tree
uzbl
web browser that adheres to the Unix philosophy
9 years
summary
log
tree
6033dp1
LaTeX class for 6.033 design project 1
9 years
summary
log
tree
Burton-Conner-Tetris-Battle
Tetris installation controlled by DDR pads on the side of Burton-Conner
10 years
summary
log
tree
easytag
Git repo of the development series of EasyTag (as there is no official SCM)
10 years
summary
log
tree
18.022
cheat sheet for vector and multivariable calculus
11 years
summary
log
tree
SmootLight
modular control system for interactive large-scale pixel-based light installatio...
11 years
summary
log
tree
