欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IJab
来自开放百科 - 灰狐
iJab:是基于Ajax技术开发的支持XMPP/Jabber协议的Web即时通讯客户端.
iJab: An ajax web jabber client. Jabber Web Chat. WebIM. WebMessenger(Facebook/Gmail style web chat bar)
Links
分享您的观点
