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