欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open source windows
来自开放百科 - 灰狐
Windows系统上常用的自由、开源软件
- VMWare的替代软件: VirtualBox
- WinRAR的替代软件: 7-Zip
- Google Earth 之外的选择: World Wind
- FTP的开源替代软件: FileZilla
- 防病毒/安全软件的开源替代软件: ClamWin, Nmap, Wireshark, TrueCrypt
- 下载工具的开源替代软件: Free Download Manager, wxDownload Fast, DownThemAll
- 媒体播放器的开源替代软件: VLC, Media Player Classic, SMPlayer, MPlayer, Songbird
- EditorPlus的替代软件: Notepad++, Programmer's Notepad, Vim
- IE6,IE7的替代软件: Firefox, Chrome, Flock, K-Meleon
- 微软Outlook的替代软件: Thunderbird
- 微软Office的替代软件: OpenOffice, AbiWord
- QQ, MSN的替代软件: 飞鸽传书, Pidgin, emesene
- Photoshop的替代软件: GIMP, Paint.NET
- Maya,3DX的替代软件: Blender
<discussion>characters_max=300</discussion>
分享您的观点
