List all projects
Project Description Last Change
0: ready for use
debian-urweb.git Debian packaging for Ur/Web 2 months ago
scoville.git file name translator overlay 4 months ago
debian-boogie.git Debian packaging for Boogie 4 months ago
debian-transmission-remote-gtk.git Debian packaging for transmission-remote-gtk 4 months ago
debian-dafny.git Debian packaging for Dafny 9 months ago
pndpowerd.git power management daemon for the OpenPandora handheld 9 months ago
urweb-regex.git Ur/Web regular expression library 18 months ago
urweb-crypto-random-openssl.git generate cryptographically secure random bytes (please read 19 months ago
urweb-crypto-hash-openssl.git Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions 19 months ago
urweb-gravatar.git Ur/Web Gravatar library 21 months ago
bluespec-buffer.git Bluespec buffer bank 2 years ago
lyt.git simple literate programming tool 2 years ago
18.022.git cheat sheet for vector and multivariable calculus 2 years ago
hierarchical-exceptions.git Template Haskell functions to easily create exception hierarchies 3 years ago
urweb_bcrypt.git Ur FFI module for the bcrypt hash algorithm 3 years ago
6.947.git fake course web site 3 years ago
ageOf.git pluggable utility to determine somebody’s age 4 years ago
6033dp1.git LaTeX class for 6.033 design project 1 4 years ago
1: work in progress
ugtd.git GTD software 2 months ago
debian-dwarf-fortress.git Debian packaging for Dwarf Fortress 18 months ago
debian-deadbeef.git Debian packaging for DeaDBeeF 18 months ago
bazel-ocaml.git Skylark rules for OCaml 19 months ago
urwiki.git wiki software written in Ur/Web 20 months ago
debian-secpwgen.git Debian packaging for secpwgen 23 months ago
debian-compcert.git Debian packaging for CompCert 2 years ago
2: old and unmaintained
urweb-markdown.git Ur/Web Markdown parser 19 months ago
jarvis.git asynchronous interactive shell 21 months ago
B.git a new way to look at the Agda standard library 22 months ago
cc-skeleton.git skeleton for C++ projects 2 years ago
gpg-forward-agent.git forward your gpg-agent connections via SSH 2 years ago
ppamltracer.git a lightweight, portable tracing library 2 years ago
ppaml-vrep-automobile-plugin.git V-REP plugin to extract sensor data from a vehicle with Ackermann steering 3 years ago
urweb.git functional programming language for web programming 4 months ago
riscv-opcodes.git RISC-V opcodes 8 months ago
fish-shell.git user-friendly command line shell 8 months ago
protobuf.git Protocol Buffers – Google’s data interchange format 16 months ago
citra.git Nintendo 3DS emulator/debugger 19 months ago
st.git simple terminal 19 months ago
notmuch.git thread-based email index, search and tagging 2 years ago
offlineimap.el.git OfflineIMAP support for Emacs 2 years ago
debathena-extra-software.git 2 years ago
coq.git the Coq proof assistant 2 years ago
sipb-code-of-conduct.git 3 years ago
FiveUI.git extensible UI analysis in your browser 3 years ago
dagitfix.git tools to ~automatically fix packaging and branching of Debathena repositories 3 years ago
dns.git Haskell DNS library 4 years ago
livestreamer.git CLI program that captures streams from various streaming services 4 years ago
uzbl.git web browser that adheres to the Unix philosophy 4 years ago
Burton-Conner-Tetris-Battle.git Tetris installation controlled by DDR pads on the side of Burton-Conner 5 years ago
easytag.git Git repo of the development series of EasyTag (as there is no official SCM) 5 years ago
SmootLight.git modular control system for interactive large-scale pixel-based light installations 6 years ago