index
NameDescriptionIdleLinks
18.022cheat sheet for vector and multivariable calculus14 yearssummarylogtree
6.947fake course web site12 yearssummarylogtree
6033dp1LaTeX class for 6.033 design project 113 yearssummarylogtree
Ba new way to look at the Agda standard library10 yearssummarylogtree
Burton-Conner-Tetris-BattleTetris installation controlled by DDR pads on the side of Burton-Conner14 yearssummarylogtree
FiveUIextensible UI analysis in your browser11 yearssummarylogtree
SmootLightmodular control system for interactive large-scale pixel-based light installatio...14 yearssummarylogtree
abseilBase functionality library for C++5 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age13 yearssummarylogtree
astc-codecAdaptive Scalable Texture Compression implementation6 yearssummarylogtree
audiotrondCFA635-based interface for MPD3 yearssummarylogtree
bazela fast, scalable, multi-language and extensible build system7 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml10 yearssummarylogtree
binserC++ code generator for binary serialization/deserialization3 yearssummarylogtree
bitutilsscripts to ease working with binary numbers4 yearssummarylogtree
bluespec-bufferBluespec buffer bank10 yearssummarylogtree
brightnessctlread and control device brightness5 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell4 yearssummarylogtree
cc-skeletonskeleton for C++ projects10 yearssummarylogtree
citraNintendo 3DS emulator/debugger10 yearssummarylogtree
coqthe Coq proof assistant7 yearssummarylogtree
dagitfixtools to ~automatically fix packaging and branching of Debathena repositories12 yearssummarylogtree
debathena-extra-software11 yearssummarylogtree
debian-aac-tacticsDebian packaging for aac-tactics6 yearssummarylogtree
debian-abseilDebian packaging for Abseil10 monthssummarylogtree
debian-boogieDebian packaging for Boogie9 yearssummarylogtree
debian-compcertDebian packaging for CompCert10 yearssummarylogtree
debian-coqDebian packaging for Coq6 yearssummarylogtree
debian-dafnyDebian packaging for Dafny9 yearssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF10 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress10 yearssummarylogtree
debian-rcmDebian packaging for rcm5 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen10 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk4 yearssummarylogtree
debian-urwebDebian packaging for Ur/Web5 yearssummarylogtree
debian-xcwdDebian packaging for xcwd7 yearssummarylogtree
dewpointcalculate dew points4 yearssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts4 yearssummarylogtree
dnsHaskell DNS library13 yearssummarylogtree
easytagGit repo of the development series of EasyTag (as there is no official SCM)14 yearssummarylogtree
ecterminal-based RPN calculator4 yearssummarylogtree
eigenC++ library for linear algebra4 yearssummarylogtree
fiat-cryptofast, formally verified cryptography6 yearssummarylogtree
firebase-ios-sdkFirebase iOS SDK7 yearssummarylogtree
fish-shelluser-friendly command line shell9 yearssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle8 yearssummarylogtree
git-annex-gplgit-annex without the AGPL3 yearssummarylogtree
git-fetch-prfetch GitHub pull requests by URL5 yearssummarylogtree
glplanetOpenGL-based planetary renderer3 yearssummarylogtree
goldfishwmtiling window manager for Linux3 yearssummarylogtree