欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Jabbin: Jabber的VoIP客户端
Jabbin 是一个开放源代码的即时通信软件,它使用VoIP系统在 Jabber网络实现PC to PC的呼叫。 Jabbin使用TINS协议可以直接在两个客户端之间建立连接并利用各种潜在的协议(RTP,H.323,等)和音频编码。在流媒体会话压缩方面,Jabbin使用speex音频编码压缩。作为一个开放免费的特定的音频压缩编码格式。
http://www.jabbin.com/