index
NameDescriptionIdleLinks
debathena-extra-software11 yearssummarylogtree
sipb-code-of-conduct11 yearssummarylogtree
skia2D graphics library7 yearssummarylogtree
astc-codecAdaptive Scalable Texture Compression implementation6 yearssummarylogtree
meeus48Astronomical Algorithms for the HP 483 yearssummarylogtree
abseilBase functionality library for C++5 yearssummarylogtree
bluespec-bufferBluespec buffer bank10 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell4 yearssummarylogtree
binserC++ code generator for binary serialization/deserialization3 yearssummarylogtree
eigenC++ library for linear algebra4 yearssummarylogtree
audiotrondCFA635-based interface for MPD3 yearssummarylogtree
livestreamerCLI program that captures streams from various streaming services13 yearssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts4 yearssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine14 monthssummarylogtree
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-urwebDebian packaging for Ur/Web5 yearssummarylogtree
debian-aac-tacticsDebian packaging for aac-tactics6 yearssummarylogtree
debian-rcmDebian packaging for rcm5 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen10 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk5 yearssummarylogtree
debian-xcwdDebian packaging for xcwd7 yearssummarylogtree
proof-generalEmacs interface for proof assistants6 yearssummarylogtree
firebase-ios-sdkFirebase iOS SDK7 yearssummarylogtree
ugtdGTD software8 yearssummarylogtree
gtd-txtGetting Things Done in plain text4 yearssummarylogtree
easytagGit repo of the development series of EasyTag (as there is no official SCM)14 yearssummarylogtree
dnsHaskell DNS library13 yearssummarylogtree
6033dp1LaTeX class for 6.033 design project 113 yearssummarylogtree
citraNintendo 3DS emulator/debugger10 yearssummarylogtree
offlineimap.elOfflineIMAP support for Emacs11 yearssummarylogtree
glplanetOpenGL-based planetary renderer3 yearssummarylogtree
haskell-unixPOSIX functionality8 yearssummarylogtree
walkPlan 9 style utilities to replace find(1)3 yearssummarylogtree
protobufProtocol Buffers – Google’s data interchange format7 yearssummarylogtree
pavmonPulseAudio sink volume monitor3 yearssummarylogtree
riscv-opcodesRISC-V opcodes9 yearssummarylogtree
grpcRPC system from Google6 yearssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle8 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml10 yearssummarylogtree
hp48-authenticatorTOTP for the HP 483 yearssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies11 yearssummarylogtree
Burton-Conner-Tetris-BattleTetris installation controlled by DDR pads on the side of Burton-Conner14 yearssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm12 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions7 yearssummarylogtree