A strongly-typed language that compiles to JavaScript

A statically typed lisp, without a GC, for real-time applications.

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Crucible is a library for symbolic simulation of imperative programs