欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open IM - talk and enjoy
开放即时通讯 - 因交流而快乐
我们渴望像信鸽一样能将消息及时传递给你
http://open-im.org/
提供基于Ajax的Web IM 客户端
创建基于 Ajax 的 IM 客户机:使用了 Prototype JavaScript 库和 Jabber 即时消息服务器。