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