欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Eclipse AJAX Toolkit Framework
The AJAX Toolkit Framework (ATF) provides and extensible framework and exemplary tools for building IDEs for the many different AJAX runtime offerings (Dojo, Zimbra, Rico, etc) in the market. Tools built upon these frameworks will initially include: enhanced JavaScript editing features such as edit-time syntax checking; an embedded Mozilla web browser; an embedded DOM browser; and an embedded JavaScript debugger. An additional and unique aspect of the framework is the Personality Builder function, which assists in the construction of arbitrary AJAX runtime frameworks, thus allowing those runtimes to be used with ATF tools.
作为 Open Ajax Initiative 的一部分，Eclipse Foundation 正在构建 ATF，它将为运行时环境（比如 Dojo 和 Zimbra）提供可扩展框架。ATF 作为 Open Ajax Initiative 的一部分，扮演着中央组件统一工具的角色。
