欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo and Children
来自开放百科 - 灰狐
帮助更多的孩子们热爱和使用自由、开源的软件和游戏。
帮助更多的孩子们尽可能早的学习软件开发,这也可能改变偏远、落后地区孩子们的未来。
组织更多的自愿者去小学、中学,帮助他们提升计算机使用水平。
组织更多的自愿者去偏远、落后地区,给他们带去一些书籍、可能的话通过捐款给他们带去一些电脑。
.....
Links
分享您的观点