jUri.js is a JavaScript library for AJAX, URL and hash change events, hash, title, and url changing, and other small features. It allows binding DOM elements to URL changes when using AJAX.
A Nagios plugin to check if a Red Hat system is up to date.
A Java library for doing conversion between JSON and Java.