欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Pulse
来自开放百科 - 灰狐
Pulse 是一个用Java 开发的 Web 应用框架以及一个 Portal 解决方案，提供易用的可扩展的创建基于浏览器的应用，例如网站、门户 等。提供了一些常用的组件，例如CMS模块、购物车以及用户管理模块。
核心功能
- 跨平台
- 完全使用 Java 5 编写
- 提供了一个快速开发框架
- 预先提供了一些开箱即用的应用: CMS, Shop, Surveys, Filters
- 基于 WebDAV 虚拟文件系统方便数字资产管理
- 用户和角色管理
- 易于使用的Ajax管理界面, 使用 Ext JS 构建
- 国际化的支持
- 灵活的模板处理 XSLT 2.0/XPath 2.0
链接
分享您的观点
