欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JaikuEngine
来自开放百科 - 灰狐
JaikuEngine is a social microblogging platform that runs on AppEngine. JaikuEngine powers Jaiku.com. For the mobile client source, see: Jaiku Mobile client.
Apache License 2.0
Code
svn checkout http://jaikuengine.googlecode.com/svn/trunk/ jaikuengine
Links
分享您的观点