欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Kangaroo-egg
来自开放百科 - 灰狐
kangaroo-egg(袋鼠蛋)是完全采用java技术开发的一个结构清晰、效率优越、功能强大且拥有自主知识产权的web服务器。其完全遵循http1.1规范,同时具有开发动态网页及应用的功能,可以适用于各种中小型网站和web应用。 kangaroo-egg拥有自己的开发语言DQM及容器(类似于Servlet/JSP),可以很容易开发出满足各种业务要求的web应用。
采用 GNU GPL 许可协议
分享您的观点