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