git.benjamin.barenblat.name
index
Name
Description
Idle
Links
ready for use
6033dp1
LaTeX class for 6.033 design project 1
13 years
summary
log
tree
6.947
fake course web site
12 years
summary
log
tree
18.022
cheat sheet for vector and multivariable calculus
14 years
summary
log
tree
ageOf
pluggable utility to determine somebody’s age
12 years
summary
log
tree
audiotrond
CFA635-based interface for MPD
2 years
summary
log
tree
bitutils
scripts to ease working with binary numbers
3 years
summary
log
tree
bluespec-buffer
Bluespec buffer bank
10 years
summary
log
tree
debian-abseil
Debian packaging for Abseil
3 months
summary
log
tree
debian-coq
Debian packaging for Coq
6 years
summary
log
tree
debian-rcm
Debian packaging for rcm
4 years
summary
log
tree
debian-transmission-remote-gtk
Debian packaging for transmission-remote-gtk
4 years
summary
log
tree
debian-urweb
Debian packaging for Ur/Web
4 years
summary
log
tree
debian-xcwd
Debian packaging for xcwd
6 years
summary
log
tree
dewpoint
calculate dew points
3 years
summary
log
tree
disable-keyboard-shortcuts
Chrome extension to disable keyboard shortcuts
3 years
summary
log
tree
ec
terminal-based RPN calculator
3 years
summary
log
tree
fish_riddle.smt2
SMT-LIB solution to the fish riddle
7 years
summary
log
tree
git-fetch-pr
fetch GitHub pull requests by URL
4 years
summary
log
tree
gtd-txt
Getting Things Done in plain text
3 years
summary
log
tree
hierarchical-exceptions
Template Haskell functions to easily create exception hierarchies
11 years
summary
log
tree
localsubnetsetd
maintain nftables sets for local subnets
3 years
summary
log
tree
lyt
simple literate programming tool
10 years
summary
log
tree
notmuch_watcher.hs
run `notmuch new` whenever mail is delivered to your maildir
7 years
summary
log
tree
pavmon
PulseAudio sink volume monitor
3 years
summary
log
tree
pndpowerd
power management daemon for the OpenPandora handheld
8 years
summary
log
tree
scoville
file name translator overlay
4 years
summary
log
tree
skiphead
preserve headers when grepping through program output
3 years
summary
log
tree
underlying.c
find the underlying program in a wrapper script
7 years
summary
log
tree
urweb_bcrypt
Ur FFI module for the bcrypt hash algorithm
11 years
summary
log
tree
urweb-crypto-hash-openssl
Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions
6 years
summary
log
tree
urweb-crypto-random-openssl
generate cryptographically secure random bytes (please read README.md)
9 years
summary
log
tree
urweb-gravatar
Ur/Web Gravatar library
9 years
summary
log
tree
urweb-regex
Ur/Web regular expression library
9 years
summary
log
tree
walk
Plan 9 style utilities to replace find(1)
3 years
summary
log
tree
wayback-machine-button
Chrome extension to reopen the current page in the Wayback Machine
6 months
summary
log
tree
xscreensaver-dbus
let Chrome suspend XScreenSaver during video playback
3 years
summary
log
tree
old, unmaintained, or incomplete
B
a new way to look at the Agda standard library
10 years
summary
log
tree
bazel-ocaml
Skylark rules for OCaml
9 years
summary
log
tree
binser
C++ code generator for binary serialization/deserialization
3 years
summary
log
tree
btls
BoringSSL-backed TLS and cryptography library for Haskell
3 years
summary
log
tree
cc-skeleton
skeleton for C++ projects
10 years
summary
log
tree
debian-boogie
Debian packaging for Boogie
8 years
summary
log
tree
debian-compcert
Debian packaging for CompCert
10 years
summary
log
tree
debian-dafny
Debian packaging for Dafny
8 years
summary
log
tree
debian-deadbeef
Debian packaging for DeaDBeeF
9 years
summary
log
tree
debian-dwarf-fortress
Debian packaging for Dwarf Fortress
9 years
summary
log
tree
debian-secpwgen
Debian packaging for secpwgen
10 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
gsrsup
resumable streaming uploads for Google Cloud Storage
3 years
summary
log
tree
[1]
[2]
[3]