index
NameDescriptionIdleLinks
debathena-extra-software8 yearssummarylogtree
sipb-code-of-conduct8 yearssummarylogtree
skia2D graphics library4 yearssummarylogtree
astc-codecAdaptive Scalable Texture Compression implementation3 yearssummarylogtree
meeus48Astronomical Algorithms for the HP 486 monthssummarylogtree
abseilBase functionality library for C++2 yearssummarylogtree
bluespec-bufferBluespec buffer bank7 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell12 monthssummarylogtree
binserC++ code generator for binary serialization/deserialization6 monthssummarylogtree
eigenC++ library for linear algebra13 monthssummarylogtree
audiotrondCFA635-based interface for MPD6 monthssummarylogtree
livestreamerCLI program that captures streams from various streaming services10 yearssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts8 monthssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine12 monthssummarylogtree
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-urwebDebian packaging for Ur/Web2 yearssummarylogtree
debian-aac-tacticsDebian packaging for aac-tactics3 yearssummarylogtree
debian-rcmDebian packaging for rcm22 monthssummarylogtree
debian-secpwgenDebian packaging for secpwgen7 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk19 monthssummarylogtree
debian-xcwdDebian packaging for xcwd4 yearssummarylogtree
proof-generalEmacs interface for proof assistants3 yearssummarylogtree
firebase-ios-sdkFirebase iOS SDK4 yearssummarylogtree
ugtdGTD software6 yearssummarylogtree
gtd-txtGetting Things Done in plain text12 monthssummarylogtree
easytagGit repo of the development series of EasyTag (as there is no official SCM)11 yearssummarylogtree
dnsHaskell DNS library10 yearssummarylogtree
6033dp1LaTeX class for 6.033 design project 110 yearssummarylogtree
citraNintendo 3DS emulator/debugger7 yearssummarylogtree
offlineimap.elOfflineIMAP support for Emacs8 yearssummarylogtree
glplanetOpenGL-based planetary renderer7 monthssummarylogtree
haskell-unixPOSIX functionality5 yearssummarylogtree
walkPlan 9 style utilities to replace find(1)3 monthssummarylogtree
protobufProtocol Buffers – Google’s data interchange format4 yearssummarylogtree
pavmonPulseAudio sink volume monitor7 monthssummarylogtree
riscv-opcodesRISC-V opcodes6 yearssummarylogtree
grpcRPC system from Google4 yearssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle5 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml7 yearssummarylogtree
hp48-authenticatorTOTP for the HP 486 monthssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies9 yearssummarylogtree
Burton-Conner-Tetris-BattleTetris installation controlled by DDR pads on the side of Burton-Conner11 yearssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm9 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions4 yearssummarylogtree