The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

X* is a powerful, extensible programming language that is using an Extensible Entity approach (A very enhanced OOP). I've been programming for the past 10 years with dozens of Programming Languages from different Paradigms... I wanted more.

Very Simple GUI for windows "net send" command using java (1.4.2_06 or newer). Allows a single message but multiple receivers inside the same windows network. Available contacts, inside the netwrok, are shown using the "contacts list" button.