欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
LinuxTV
来自开放百科 - 灰狐
LinuxTV: Television with Linux
相关链接
- http://www.linuxtv.org/
- v4l-dvb.git tree at kernel.org - http://www.kernel.org/pub/scm/linux/kernel/git/mchehab/v4l-dvb.git/
分享您的观点
