欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
FFmpeg
来自开放百科 - 灰狐
FFmpeg is an audio/video conversion tool. It includes libavcodec, the leading open source codec library. An experimental streaming server for live broadcasts is also included.
转换视频为flv, Google Video 采用了此软件。
Links
<discussion>characters_max=300</discussion>
分享您的观点
