参照元にコメントで書いちゃうとネタバレっぽいのでこっちに書いときますが…こっちのRubyは、1990年前後に開発されたハードウェア記述言語（回路記述言語）です。
ここにホームページもあります。今現在メンテされてるのかは知りませんが。
名付け親はMary Sheeranという女性の方で、ハードウェアの形式検証な人です。ちなみに、Hardware Design and Functional Programming: a Perfect Match なんていう論文を発表したりしてます。こっちの方が興味引く人いるんじゃないでしょうか。
Hardware Design and Functional Programming: a Perfect Match, by Mary Sheeran, Journal of Universal Computer Science, Special issue devoted to the Brazilian Symposium on Programming Languages, 2005.
詳しくはこちら。
