git.benjamin.barenblat.name

Name	Description	Idle	Links
18.022	cheat sheet for vector and multivariable calculus	15 years	summary log tree
6.947	fake course web site	13 years	summary log tree
6033dp1	LaTeX class for 6.033 design project 1	14 years	summary log tree
B	a new way to look at the Agda standard library	11 years	summary log tree
Burton-Conner-Tetris-Battle	Tetris installation controlled by DDR pads on the side of Burton-Conner	14 years	summary log tree
FiveUI	extensible UI analysis in your browser	12 years	summary log tree
SmootLight	modular control system for interactive large-scale pixel-based light installatio...	15 years	summary log tree
abseil	Base functionality library for C++	6 years	summary log tree
ageOf	pluggable utility to determine somebody’s age	13 years	summary log tree
astc-codec	Adaptive Scalable Texture Compression implementation	7 years	summary log tree
audiotrond	CFA635-based interface for MPD	3 years	summary log tree
bazel	a fast, scalable, multi-language and extensible build system	7 years	summary log tree
bazel-ocaml	Skylark rules for OCaml	11 years	summary log tree
binser	C++ code generator for binary serialization/deserialization	4 years	summary log tree
bitutils	scripts to ease working with binary numbers	4 years	summary log tree
bluespec-buffer	Bluespec buffer bank	11 years	summary log tree
brightnessctl	read and control device brightness	6 years	summary log tree
btls	BoringSSL-backed TLS and cryptography library for Haskell	4 years	summary log tree
cc-skeleton	skeleton for C++ projects	11 years	summary log tree
citra	Nintendo 3DS emulator/debugger	10 years	summary log tree
coq	the Coq proof assistant	8 years	summary log tree
dagitfix	tools to ~automatically fix packaging and branching of Debathena repositories	12 years	summary log tree
debathena-extra-software		11 years	summary log tree
debian-aac-tactics	Debian packaging for aac-tactics	7 years	summary log tree
debian-abseil	Debian packaging for Abseil	17 months	summary log tree
debian-boogie	Debian packaging for Boogie	9 years	summary log tree
debian-compcert	Debian packaging for CompCert	11 years	summary log tree
debian-coq	Debian packaging for Coq	7 years	summary log tree
debian-dafny	Debian packaging for Dafny	10 years	summary log tree
debian-deadbeef	Debian packaging for DeaDBeeF	10 years	summary log tree
debian-dwarf-fortress	Debian packaging for Dwarf Fortress	10 years	summary log tree
debian-rcm	Debian packaging for rcm	3 weeks	summary log tree
debian-secpwgen	Debian packaging for secpwgen	11 years	summary log tree
debian-transmission-remote-gtk	Debian packaging for transmission-remote-gtk	3 weeks	summary log tree
debian-urweb	Debian packaging for Ur/Web	6 years	summary log tree
debian-xcwd	Debian packaging for xcwd	3 weeks	summary log tree
dewpoint	calculate dew points	4 years	summary log tree
disable-keyboard-shortcuts	Chrome extension to disable keyboard shortcuts	4 years	summary log tree
dns	Haskell DNS library	13 years	summary log tree
easytag	Git repo of the development series of EasyTag (as there is no official SCM)	15 years	summary log tree
ec	terminal-based RPN calculator	4 years	summary log tree
eigen	C++ library for linear algebra	5 years	summary log tree
fiat-crypto	fast, formally verified cryptography	7 years	summary log tree
firebase-ios-sdk	Firebase iOS SDK	8 years	summary log tree
fish-shell	user-friendly command line shell	10 years	summary log tree
fish_riddle.smt2	SMT-LIB solution to the fish riddle	8 years	summary log tree
git-annex-gpl	git-annex without the AGPL	4 years	summary log tree
git-fetch-pr	fetch GitHub pull requests by URL	6 years	summary log tree
glplanet	OpenGL-based planetary renderer	4 years	summary log tree
goldfishwm	tiling window manager for Linux	4 years	summary log tree