...While the Futhark language and compiler is an ongoing research project, it is quite usable for real programming and can compile nontrivial programs which then run on real machines at high speed.
a web server written in gambit/scheme that implements push technology and abstracts it trought actor model, implements too a compiler of yera, a language to describe gui in terms of functional reactive programming.