index
NameDescriptionIdleLinks
18.022cheat sheet for vector and multivariable calculus13 yearssummarylogtree
6.947fake course web site11 yearssummarylogtree
6033dp1LaTeX class for 6.033 design project 112 yearssummarylogtree
Ba new way to look at the Agda standard library9 yearssummarylogtree
Burton-Conner-Tetris-BattleTetris installation controlled by DDR pads on the side of Burton-Conner13 yearssummarylogtree
FiveUIextensible UI analysis in your browser10 yearssummarylogtree
SmootLightmodular control system for interactive large-scale pixel-based light installatio...13 yearssummarylogtree
abseilBase functionality library for C++4 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age11 yearssummarylogtree
astc-codecAdaptive Scalable Texture Compression implementation5 yearssummarylogtree
audiotrondCFA635-based interface for MPD19 monthssummarylogtree
bazela fast, scalable, multi-language and extensible build system6 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml9 yearssummarylogtree
binserC++ code generator for binary serialization/deserialization2 yearssummarylogtree
bitutilsscripts to ease working with binary numbers3 yearssummarylogtree
bluespec-bufferBluespec buffer bank9 yearssummarylogtree
brightnessctlread and control device brightness4 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell3 yearssummarylogtree
cc-skeletonskeleton for C++ projects9 yearssummarylogtree
citraNintendo 3DS emulator/debugger9 yearssummarylogtree
coqthe Coq proof assistant6 yearssummarylogtree
dagitfixtools to ~automatically fix packaging and branching of Debathena repositories11 yearssummarylogtree
debathena-extra-software10 yearssummarylogtree
debian-aac-tacticsDebian packaging for aac-tactics5 yearssummarylogtree
debian-abseilDebian packaging for Abseil6 monthssummarylogtree
debian-boogieDebian packaging for Boogie7 yearssummarylogtree
debian-compcertDebian packaging for CompCert9 yearssummarylogtree
debian-coqDebian packaging for Coq5 yearssummarylogtree
debian-dafnyDebian packaging for Dafny8 yearssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF9 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress9 yearssummarylogtree
debian-rcmDebian packaging for rcm3 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen9 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk3 yearssummarylogtree
debian-urwebDebian packaging for Ur/Web4 yearssummarylogtree
debian-xcwdDebian packaging for xcwd5 yearssummarylogtree
dewpointcalculate dew points2 yearssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts2 yearssummarylogtree
dnsHaskell DNS library11 yearssummarylogtree
easytagGit repo of the development series of EasyTag (as there is no official SCM)13 yearssummarylogtree
ecterminal-based RPN calculator2 yearssummarylogtree
eigenC++ library for linear algebra3 yearssummarylogtree
fiat-cryptofast, formally verified cryptography5 yearssummarylogtree
firebase-ios-sdkFirebase iOS SDK6 yearssummarylogtree
fish-shelluser-friendly command line shell8 yearssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle7 yearssummarylogtree
git-annex-gplgit-annex without the AGPL2 yearssummarylogtree
git-fetch-prfetch GitHub pull requests by URL4 yearssummarylogtree
glplanetOpenGL-based planetary renderer2 yearssummarylogtree
goldfishwmtiling window manager for Linux2 yearssummarylogtree