欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
qooxdoo,是一个发展迅猛的应用框架,提供广泛的UI支持,正在开发基础架构等特性。
o 能轻易的捕获和操纵DOM事件 o 支持调试 o 支持一个时间操作的Timer类 o Getter/Setter支持
o 窗口组件库和框架 o 界面布局管理 o 图像缓存和透明PNG图片处理
http://qooxdoo.org/