git.benjamin.barenblat.name

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