欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
VirtualDub
VirtualDub is a video capture/processing utility for 32-bit Windows platforms (95/98/ME/NT4/2000/XP), licensed under the GNU General Public License (GPL). It lacks the editing power of a general-purpose editor such as Adobe Premiere, but is streamlined for fast linear operations over video. It has batch-processing capabilities for processing large numbers of files and can be extended with third-party video filters. VirtualDub is mainly geared toward processing AVI files, although it can read (not write) MPEG-1 and also handle sets of BMP images.
虽然VirtualDub是一套开源的多媒体剪辑软件，但它的功能可一点也不输给Premiere以及Media Studio等专业等级产品的功能。在VirtualDub中主要的功能可以区分为两大部份，一是可以让您针对现有的电影短片文件如。AVI以及。MPG 等做编辑的工作，另一项则是可以搭配您的影像补捉卡做即时的动态影像捕捉的功能。
