欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
JMaki
来自开放百科 - 灰狐
jMaki is an Ajax framework that provides a lightweight model for creating JavaScript centric Ajax-enabled web applications using Java, PHP, and Phobos.
jMaki 为 Dojo, Script.aculo.us, Yahoo UI Widgets, Spry, DHTML Goodies 设计了统一的调用接口，并将它们中的一些部件封装成TagLib，并且保证它所封装的各种widgets能运行在同一个页面里。
分享您的观点
