ready for use
6033dp1LaTeX class for 6.033 design project 16 yearssummarylogtree
6.947fake course web site5 yearssummarylogtree
18.022cheat sheet for vector and multivariable calculus8 yearssummarylogtree
ageOfpluggable utility to determine somebody’s age6 yearssummarylogtree
bitutilsscripts to ease working with binary numbers14 monthssummarylogtree
bluespec-bufferBluespec buffer bank4 yearssummarylogtree
debian-boogieDebian packaging for Boogie23 monthssummarylogtree
debian-dafnyDebian packaging for Dafny2 yearssummarylogtree
debian-transmission-remote-gtkDebian packaging for transmission-remote-gtk3 monthssummarylogtree
debian-urwebDebian packaging for Ur/Web12 monthssummarylogtree
debian-xcwdDebian packaging for xcwd7 monthssummarylogtree
fish_riddle.smt2SMT-LIB solution to the fish riddle13 monthssummarylogtree
gtd-txtGetting Things Done in plain text12 monthssummarylogtree
hierarchical-exceptionsTemplate Haskell functions to easily create exception hierarchies5 yearssummarylogtree
lytsimple literate programming tool4 yearssummarylogtree
notmuch_watcher.hsrun `notmuch new` whenever mail is delivered to your maildir8 monthssummarylogtree
pndpowerdpower management daemon for the OpenPandora handheld2 yearssummarylogtree
scovillefile name translator overlay3 monthssummarylogtree
underlying.cfind the underlying program in a wrapper script12 monthssummarylogtree
urweb_bcryptUr FFI module for the bcrypt hash algorithm5 yearssummarylogtree
urweb-crypto-hash-opensslUr bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions3 yearssummarylogtree
urweb-crypto-random-opensslgenerate cryptographically secure random bytes (please read yearssummarylogtree
urweb-gravatarUr/Web Gravatar library3 yearssummarylogtree
urweb-regexUr/Web regular expression library3 yearssummarylogtree
wayback-machine-buttonChrome extension to reopen the current page in the Wayback Machine14 dayssummarylogtree
work in progress
bazel-ocamlSkylark rules for OCaml3 yearssummarylogtree
btlsBoringSSL-backed TLS and cryptography library for Haskell3 dayssummarylogtree
debian-deadbeefDebian packaging for DeaDBeeF3 yearssummarylogtree
old and unmaintained
Ba new way to look at the Agda standard library3 yearssummarylogtree
cc-skeletonskeleton for C++ projects4 yearssummarylogtree
debian-compcertDebian packaging for CompCert4 yearssummarylogtree
debian-dwarf-fortressDebian packaging for Dwarf Fortress3 yearssummarylogtree
debian-secpwgenDebian packaging for secpwgen3 yearssummarylogtree
jarvisasynchronous interactive shell3 yearssummarylogtree
gpg-forward-agentforward your gpg-agent connections via SSH4 yearssummarylogtree
ppamltracera lightweight, portable tracing library4 yearssummarylogtree
ppaml-vrep-automobile-pluginV-REP plugin to extract sensor data from a vehicle with Ackermann steering5 yearssummarylogtree
ugtdGTD software20 monthssummarylogtree
urweb-markdownUr/Web Markdown parser3 yearssummarylogtree
urwikiwiki software written in Ur/Web3 yearssummarylogtree
bazela fast, scalable, multi-language and extensible build system6 weekssummarylogtree
citraNintendo 3DS emulator/debugger3 yearssummarylogtree
Burton-Conner-Tetris-BattleTetris installation controlled by DDR pads on the side of Burton-Conner7 yearssummarylogtree
coqthe Coq proof assistant2 monthssummarylogtree
dagitfixtools to ~automatically fix packaging and branching of Debathena repositories5 yearssummarylogtree
debathena-extra-software4 yearssummarylogtree
dnsHaskell DNS library6 yearssummarylogtree
easytagGit repo of the development series of EasyTag (as there is no official SCM)7 yearssummarylogtree
firebase-ios-sdkFirebase iOS SDK2 monthssummarylogtree
fish-shelluser-friendly command line shell2 yearssummarylogtree
FiveUIextensible UI analysis in your browser5 yearssummarylogtree
haskell-unixPOSIX functionality15 monthssummarylogtree
libfusereference implementation of the Linux FUSE (Filesystem in Userspace) interface7 weekssummarylogtree
livestreamerCLI program that captures streams from various streaming services6 yearssummarylogtree
mailcore2simple and asynchronous API to work with IMAP, POP, and SMTP2 monthssummarylogtree
notmuchthread-based email index, search and tagging4 yearssummarylogtree
offlineimap.elOfflineIMAP support for Emacs4 yearssummarylogtree
protobufProtocol Buffers – Google’s data interchange format2 monthssummarylogtree
riscv-opcodesRISC-V opcodes2 yearssummarylogtree
sipb-code-of-conduct5 yearssummarylogtree
skia2D graphics library8 weekssummarylogtree
SmootLightmodular control system for interactive large-scale pixel-based light installatio...8 yearssummarylogtree
stsimple terminal3 yearssummarylogtree
urwebfunctional programming language for web programming3 monthssummarylogtree
uzblweb browser that adheres to the Unix philosophy6 yearssummarylogtree