index
NameDescriptionIdleLinks
urwebfunctional programming language for web programming9 monthssummarylogtree
debian-abseilDebian packaging for Abseil10 monthssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine14 monthssummarylogtree
moshremote login with local echo and roaming23 monthssummarylogtree
audiotrondCFA635-based interface for MPD3 yearssummarylogtree
oss-fuzzcontinuous fuzzing for open source software3 yearssummarylogtree
walkPlan 9 style utilities to replace find(1)3 yearssummarylogtree
textadeptfast, minimalist, Lua-extensible editor3 yearssummarylogtree
goldfishwmtiling window manager for Linux3 yearssummarylogtree
hp48-authenticatorTOTP for the HP 483 yearssummarylogtree
meeus48Astronomical Algorithms for the HP 483 yearssummarylogtree
binserC++ code generator for binary serialization/deserialization3 yearssummarylogtree
pavmonPulseAudio sink volume monitor3 yearssummarylogtree
skipheadpreserve headers when grepping through program output3 yearssummarylogtree
git-annex-gplgit-annex without the AGPL3 yearssummarylogtree
glplanetOpenGL-based planetary renderer3 yearssummarylogtree
ecterminal-based RPN calculator4 yearssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts4 yearssummarylogtree
poseoriginal Palm OS emulator4 yearssummarylogtree
laptopfsnetwork file system designed for disconnected operation4 yearssummarylogtree
dewpointcalculate dew points4 yearssummarylogtree
xscreensaver-dbuslet Chrome suspend XScreenSaver during video playback4 yearssummarylogtree
localsubnetsetdmaintain nftables sets for local subnets4 yearssummarylogtree
gtd-txtGetting Things Done in plain text4 yearssummarylogtree
gsrsupresumable streaming uploads for Google Cloud Storage4 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell4 yearssummarylogtree
bitutilsscripts to ease working with binary numbers4 yearssummarylogtree
eigenC++ library for linear algebra4 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk4 yearssummarylogtree
google-toolbox-for-macutility library for Apple development5 yearssummarylogtree
xssxssmake Chrome suspend XScreenSaver during video playback5 yearssummarylogtree
debian-rcmDebian packaging for rcm5 yearssummarylogtree
scovillefile name translator overlay5 yearssummarylogtree
git-fetch-prfetch GitHub pull requests by URL5 yearssummarylogtree
debian-urwebDebian packaging for Ur/Web5 yearssummarylogtree
brightnessctlread and control device brightness5 yearssummarylogtree
abseilBase functionality library for C++5 yearssummarylogtree
minifluxweb-based RSS/Atom reader5 yearssummarylogtree
mailcore2simple and asynchronous API to work with IMAP, POP, and SMTP6 yearssummarylogtree
zephyran institutional/enterprise-scale real-time messaging and notification system6 yearssummarylogtree
astc-codecAdaptive Scalable Texture Compression implementation6 yearssummarylogtree
fiat-cryptofast, formally verified cryptography6 yearssummarylogtree
proof-generalEmacs interface for proof assistants6 yearssummarylogtree
debian-aac-tacticsDebian packaging for aac-tactics6 yearssummarylogtree
debian-coqDebian packaging for Coq6 yearssummarylogtree
grpcRPC system from Google6 yearssummarylogtree
mpvvideo player based on MPlayer/mplayer27 yearssummarylogtree
debian-xcwdDebian packaging for xcwd7 yearssummarylogtree
tensorflowmachine learning framework7 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions7 yearssummarylogtree