欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Development
来自开放百科 - 灰狐
				
								
				
				
																
				
				
								
涉及开发工具, 软件生命周期工具.
Google 的工程师干活最常用是 Vim、Emacs 和 Eclipse。用 VIM 或 Emacs 的人占多数,用 Eclipse 人较少。
平时使用 Vi/Emacs 开发 c, c++, python 应用 , 使用 NetBeans 开发 java 应用, Vi/Emacs + Netbeans 是个不错的组合。
对于 GNU Emacs, 我们有种宗教的信仰,倘若加上 JDEE 对 Java 的良好支持,GNU Emacs 完全可替代 Netbeans/Eclipse ,而成为开发人员的终极选择 :)
EDOS stands for Environment for the development and Distribution of Open Source software
目录 | 
Repository
Continuous Integration
Windows
Base
Code
Text Editor
Agile
- Agile Software Development
 - Mingle - Agile Project Management Application
 - CruiseControl
 - Hudson
 - Selenium
 - JUnit
 - TestNG
 - DbUnit
 - HttpUnit
 - EMMA
 - JDepend
 - PMD
 - JarAnalyzer
 
Browser
Documentation
- SGML
 - XML
 - HTML
 - TeX
 - LaTeX
 - LaTeX2HTML
 - GNU TeXmacs
 - Doxygen
 - DocBook
 - troff
 - groff
 - Texinfo
 - POD
 - Cpp2html
 - Java2Html
 - Epydoc
 - Docutils
 - man2html
 - LaTeX2HTML
 - phpDocumentor
 
Tools
GNU Tools
C & C++
- Sun Studio
 - Xrefactory
 - MinGW Developer Studio
 - wxWidgets
 - Code::Blocks
 - ScanDoc
 - HeaderBrowser
 - ClearSilver
 - Google C++ Testing Framework
 
Java
- OpenGrok
 - Scarab
 - JTrac
 - JUnit
 - TestNG
 - Log4J : Apache的Java日志工具包,是Logging Services Project的一个子项目,应用广泛。
 - CodeWorker
 - LuntBuild
 - Hudson: 一个持续集成工具
 - FindBugs
 - PMD
 - SourceForge
 
Python
- SCons
 - Apache Gump
 - BuildBot
 - Trac
 - Roundup Issue Tracker
 - Genshi
 - Python Sidebar
 - Kid Template
 - Gimini
 - Pudge
 - Docutils
 
Perl
PHP
Ruby
Statistics
Tcl/Tk
Windows
相关链接
- http://www.agiledata.org/
 - http://www.open.collab.net/
 - 让开发自动化: 选择持续集成服务器 - 对开源 CI 服务器:CruiseControl、Luntbuild 和 Continuum 的调查
 - awesome
 
<discussion>characters_max=300</discussion>
	分享您的观点