欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenMPC - Open Media Player Classic - Open Mobile Player Classic
开放影音 - 开放影音播放器 - 开放媒体播放器
使用自由,开放的技术,构建属于自己的影音播放器
http://openmpc.org/