欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open source windows
来自开放百科 - 灰狐
Windows系统上常用的自由、开源软件
- 浏览器: Firefox, Chrome, Flock, K-Meleon
- 媒体播放器: VLC, Media Player Classic, SMPlayer, Songbird
- 下载工具: eMule, Free Download Manager, wxDownload Fast, DownThemAll
- 即时通信: 飞鸽传书, Pidgin, emesene
- 虚拟机: VirtualBox
- 压缩软件: 7-Zip
- 词典软件: StarDict
- Google Earth 之外的选择: NASA World Wind
- FTP软件: FileZilla
- 编辑器: Notepad++, Programmer's Notepad, Vim
- 邮件客户端: Thunderbird
- 办公软件: OpenOffice, AbiWord
- 图像处理软件: GIMP, Paint.NET, Inkscape
- 3D制作软件: Blender
- 防病毒/安全软件: ClamWin, Nmap, Wireshark, TrueCrypt, Eraser
<discussion>characters_max=300</discussion>
分享您的观点
