欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
skynet：基于 Actor 模式的开源框架，也是一个轻量的游戏框架，使用 c programming language 开发，采用 MIT 许可协议。
