The blue social bookmark and publication sharing system.
Log in with your username.
I've lost my password.
Log in with your OpenID-Provider.
an implementation of dynamic detection of likely invariants; Invariants can be useful in program understanding and a host of other applications.