欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ZK
来自开放百科 - 灰狐
ZK 是一个基于 AJAX/XUL 的 Web 框架，在此框架中可以设计丰富用户体验且只需简单编程的模型。它还包含了基于 AJAX 的事件驱动引擎，可以在一序列基于 XUL 的富组件之间自动协作。兼容XUL的组件让ZK更值得期待。
Links
- http://www.zkoss.org
- http://sourceforge.net/projects/zk1
- http://ezingbuilder.sourceforge.net
- http://docs.huihoo.com/zk/
- http://download.huihoo.com/zk/
ScreenShots
分享您的观点
