欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
ZK
来自开放百科 - 灰狐
（版本间的差异）
小 (ZK (AJAX)移动到ZK) |
2007年9月23日 (日) 11:04的版本
ZK 是一个基于 AJAX/XUL 的 Web 框架，在此框架中可以设计丰富用户体验且只需简单编程的模型。它还包含了基于 AJAX 的事件驱动引擎，可以在一序列基于 XUL 的富组件之间自动协作。
分享您的观点
