欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
XobotOS 是一个Xamarin的研究项目,该项目尝试把Android 4.0从原本的基于Java/Dalvik移植到C#以探究C#的效能和内存占用的优点。