欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OperaMasks
来自开放百科 - 灰狐
OperaMasks 是一款最初由金蝶中间件公司(Apusic)捐赠代码, 并逐步依托OperaMasks.org开源社区成长的Web开源框架, 它基于IoVC的全新编程思想, 使页面设计人员与开发人员完全解耦; 提供原生Ajax支持的JSF引擎, 使Ajax的开发成本为零; 它内置了丰富的UI组件, 无论是开发高交互性的 Web Application,还是建设轻量级、高并发的Web Site,都使您游刃有余; 同时, 与Java相辅相成的全新动态语言ELite, 可视化、一体化的集成式开发环境OperaMasks Studio, 与Spring、Hibernate等已有成熟框架的紧密集成, 所有的这一切, 皆致力于降低Web开发的复杂度.
Links
分享您的观点