"a portable functional programming language that offers the advantages of pattern matching, l calculus consistency, macros, optional lazy evaluation and static type checking. Shen has the most powerful type system of any existing functional language, including ML and Haskell. Shen includes an integrated fully functional Prolog and an inbuilt compiler-compiler"

"a wiki compiler. It converts wiki pages into HTML pages suitable for publishing on a website. Ikiwiki stores pages and history in a revision control system such as Subversion or Git. There are many other features, including support for blogging, as well as a large array of plugins."

Another way to manage a static collection of dynamic content (or something like that) with Ruby.

Generates static web sites via a bunch of Ruby whatnot.