index
NameDescriptionIdleLinks
18.022cheat sheet for vector and multivariable calculus11 yearssummarylogtree
6.947fake course web site9 yearssummarylogtree
6033dp1LaTeX class for 6.033 design project 110 yearssummarylogtree
Ba new way to look at the Agda standard library7 yearssummarylogtree
Burton-Conner-Tetris-BattleTetris installation controlled by DDR pads on the side of Burton-Conner11 yearssummarylogtree
FiveUIextensible UI analysis in your browser9 yearssummarylogtree
SmootLightmodular control system for interactive large-scale pixel-based light installatio...11 yearssummarylogtree
abseilBase functionality library for C++2 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age10 yearssummarylogtree
astc-codecAdaptive Scalable Texture Compression implementation3 yearssummarylogtree
audiotrondCFA635-based interface for MPD6 monthssummarylogtree
bazela fast, scalable, multi-language and extensible build system4 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml7 yearssummarylogtree
binserC++ code generator for binary serialization/deserialization6 monthssummarylogtree
bitutilsscripts to ease working with binary numbers12 monthssummarylogtree
bluespec-bufferBluespec buffer bank7 yearssummarylogtree
brightnessctlread and control device brightness2 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell12 monthssummarylogtree
cc-skeletonskeleton for C++ projects7 yearssummarylogtree
citraNintendo 3DS emulator/debugger7 yearssummarylogtree
coqthe Coq proof assistant4 yearssummarylogtree
dagitfixtools to ~automatically fix packaging and branching of Debathena repositories9 yearssummarylogtree
debathena-extra-software8 yearssummarylogtree
debian-aac-tacticsDebian packaging for aac-tactics3 yearssummarylogtree
debian-abseilDebian packaging for Abseil3 monthssummarylogtree
debian-boogieDebian packaging for Boogie6 yearssummarylogtree
debian-compcertDebian packaging for CompCert8 yearssummarylogtree
debian-coqDebian packaging for Coq4 yearssummarylogtree
debian-dafnyDebian packaging for Dafny6 yearssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF7 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress7 yearssummarylogtree
debian-rcmDebian packaging for rcm22 monthssummarylogtree
debian-secpwgenDebian packaging for secpwgen7 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk19 monthssummarylogtree
debian-urwebDebian packaging for Ur/Web2 yearssummarylogtree
debian-xcwdDebian packaging for xcwd4 yearssummarylogtree
dewpointcalculate dew points10 monthssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts8 monthssummarylogtree
dnsHaskell DNS library10 yearssummarylogtree
easytagGit repo of the development series of EasyTag (as there is no official SCM)11 yearssummarylogtree
ecterminal-based RPN calculator8 monthssummarylogtree
eigenC++ library for linear algebra13 monthssummarylogtree
fiat-cryptofast, formally verified cryptography3 yearssummarylogtree
firebase-ios-sdkFirebase iOS SDK4 yearssummarylogtree
fish-shelluser-friendly command line shell6 yearssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle5 yearssummarylogtree
git-annex-gplgit-annex without the AGPL7 monthssummarylogtree
git-fetch-prfetch GitHub pull requests by URL2 yearssummarylogtree
glplanetOpenGL-based planetary renderer7 monthssummarylogtree
goldfishwmtiling window manager for Linux6 monthssummarylogtree