Runtime and development environment of Oz
Web development IDE in browser, supports Java, ruby, javascript...etc
Eclipse integration for Isabelle proof assistant
Context-aware Software Engineering Environment Event-driven Framework
A CBLS Engine in SCALA, NOW part of OscaR
Rule Interpreter for natural date descriptions