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