欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenMPC - Open Media Player Classic - Open Mobile Player Classic
开放影音 - 开放影音播放器 - 开放媒体播放器
使用自由,开放的技术,构建属于自己的影音播放器
OpenMPC 基于SMPlayer和Qt构建, 并整合其他项目的一些特新.
http://openmpc.org/
此外, OpenMovie 和 OpenMusic 是我们对数字电影和数字音乐的探索与尝试.