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