欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Apache Wave
来自开放百科 - 灰狐
Google Wave is a new online communication and collaboration tool.
Google Wave将基于BSD许可协议开源
Google Wave uses operational transformation as part of the Google Wave Federation Protocol The Google wave operational transformation algorithm is based on Jupiter
Google Wave was created using the Google Web Toolkit and is currently still in development.
Links
分享您的观点