index
NameDescriptionIdleLinks
debathena-extra-software7 yearssummarylogtree
sipb-code-of-conduct8 yearssummarylogtree
skia2D graphics library3 yearssummarylogtree
astc-codecAdaptive Scalable Texture Compression implementation2 yearssummarylogtree
abseilBase functionality library for C++19 monthssummarylogtree
bluespec-bufferBluespec buffer bank7 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell5 weekssummarylogtree
eigenC++ library for linear algebra3 monthssummarylogtree
livestreamerCLI program that captures streams from various streaming services9 yearssummarylogtree
disable-keyboard-shortcutsChrome extension to disable keyboard shortcuts5 weekssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine5 weekssummarylogtree
debian-abseilDebian packaging for Abseil7 monthssummarylogtree
debian-boogieDebian packaging for Boogie5 yearssummarylogtree
debian-compcertDebian packaging for CompCert7 yearssummarylogtree
debian-coqDebian packaging for Coq3 yearssummarylogtree
debian-dafnyDebian packaging for Dafny5 yearssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF6 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress6 yearssummarylogtree
debian-urwebDebian packaging for Ur/Web16 monthssummarylogtree
debian-aac-tacticsDebian packaging for aac-tactics3 yearssummarylogtree
debian-rcmDebian packaging for rcm11 monthssummarylogtree
debian-secpwgenDebian packaging for secpwgen6 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk8 monthssummarylogtree
debian-xcwdDebian packaging for xcwd3 yearssummarylogtree
proof-generalEmacs interface for proof assistants2 yearssummarylogtree
firebase-ios-sdkFirebase iOS SDK3 yearssummarylogtree
ugtdGTD software5 yearssummarylogtree
gtd-txtGetting Things Done in plain text5 weekssummarylogtree
easytagGit repo of the development series of EasyTag (as there is no official SCM)10 yearssummarylogtree
dnsHaskell DNS library9 yearssummarylogtree
6033dp1LaTeX class for 6.033 design project 19 yearssummarylogtree
citraNintendo 3DS emulator/debugger6 yearssummarylogtree
offlineimap.elOfflineIMAP support for Emacs7 yearssummarylogtree
haskell-unixPOSIX functionality4 yearssummarylogtree
walkPlan 9 style utilities to replace find(1)5 weekssummarylogtree
protobufProtocol Buffers – Google’s data interchange format3 yearssummarylogtree
riscv-opcodesRISC-V opcodes5 yearssummarylogtree
grpcRPC system from Google3 yearssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle4 yearssummarylogtree
bazel-ocamlSkylark rules for OCaml6 yearssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies8 yearssummarylogtree
Burton-Conner-Tetris-BattleTetris installation controlled by DDR pads on the side of Burton-Conner10 yearssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm8 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions3 yearssummarylogtree
urweb-gravatarUr/Web Gravatar library6 yearssummarylogtree
urweb-markdownUr/Web Markdown parser6 yearssummarylogtree
urweb-regexUr/Web regular expression library6 yearssummarylogtree
ppaml-vrep-automobile-pluginV-REP plugin to extract sensor data from a vehicle with Ackermann steering8 yearssummarylogtree
bazela fast, scalable, multi-language and extensible build system3 yearssummarylogtree
ppamltracera lightweight, portable tracing library7 yearssummarylogtree
Ba new way to look at the Agda standard library6 yearssummarylogtree
zephyran institutional/enterprise-scale real-time messaging and notification system22 monthssummarylogtree
jarvisasynchronous interactive shell6 yearssummarylogtree
18.022cheat sheet for vector and multivariable calculus11 yearssummarylogtree
FiveUIextensible UI analysis in your browser8 yearssummarylogtree
6.947fake course web site8 yearssummarylogtree
fiat-cryptofast, formally verified cryptography2 yearssummarylogtree
git-fetch-prfetch GitHub pull requests by URL16 monthssummarylogtree
scovillefile name translator overlay11 monthssummarylogtree
underlying.cfind the underlying program in a wrapper script4 yearssummarylogtree
gpg-forward-agentforward your gpg-agent connections via SSH7 yearssummarylogtree
urwebfunctional programming language for web programming3 yearssummarylogtree
urweb-crypto-random-opensslgenerate cryptographically secure random bytes (please read README.md)6 yearssummarylogtree
xscreensaver-dbuslet Chrome suspend XScreenSaver during video playback5 weekssummarylogtree
tensorflowmachine learning framework3 yearssummarylogtree
localsubnetsetdmaintain nftables sets for local subnets5 weekssummarylogtree
xssxssmake Chrome suspend XScreenSaver during video playback10 monthssummarylogtree
SmootLightmodular control system for interactive large-scale pixel-based light installatio...11 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age9 yearssummarylogtree
pndpowerdpower management daemon for the OpenPandora handheld5 yearssummarylogtree
brightnessctlread and control device brightness16 monthssummarylogtree
libfusereference implementation of the Linux FUSE (Filesystem in Userspace) interface3 yearssummarylogtree
gsrsupresumable streaming uploads for Google Cloud Storage5 weekssummarylogtree
notmuch_watcher.hsrun `notmuch new` whenever mail is delivered to your maildir4 yearssummarylogtree
bitutilsscripts to ease working with binary numbers5 weekssummarylogtree
mailcore2simple and asynchronous API to work with IMAP, POP, and SMTP21 monthssummarylogtree
lytsimple literate programming tool7 yearssummarylogtree
stsimple terminal6 yearssummarylogtree
cc-skeletonskeleton for C++ projects7 yearssummarylogtree
coqthe Coq proof assistant3 yearssummarylogtree
notmuchthread-based email index, search and tagging7 yearssummarylogtree
dagitfixtools to ~automatically fix packaging and branching of Debathena repositories8 yearssummarylogtree
fish-shelluser-friendly command line shell5 yearssummarylogtree
google-toolbox-for-macutility library for Apple development9 monthssummarylogtree
mpvvideo player based on MPlayer/mplayer23 yearssummarylogtree
uzblweb browser that adheres to the Unix philosophy9 yearssummarylogtree
minifluxweb-based RSS/Atom reader20 monthssummarylogtree
urwikiwiki software written in Ur/Web6 yearssummarylogtree
generated by cgit v1.2.3 (git 2.25.1) at 2021-09-22 04:37:49 +0000