Interesting work on Qi, a language based on Common Lisp which incorporates features such as (optional) type checking, pattern matching similar to those in ML and Haskell and logical programming (Prolog).
This is a map of the wheel-ruts of modern English. Etymologies are not definitions; they're explanations of what our words meant and how they sounded 600 or 2,000 years ago.
On-line dictionary with multiple languages: german, english, french, italian, spanish, portuguese, dutch and swedish. Also has unit conversion calculators etc.
Augmenting Hardware Design with Functional Languages. A series of functional languages for hardware design. Confluence and HDLcaml (sp?) were based on OCaml, the newest called "Atom" is based on Haskell.
Found this page when looking for a Spigot algorithm for pi, but has also an article about using formal methods in the development of the Transputer Floating Point Unit.