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