Browsing Greek translation

36.

<application>Code::Blocks</application> is the open-source, cross-platform Integrated Development Environment (IDE). Built around a plugin framework, Code::Blocks can be extended with plugins. Any kind of functionality can be added by installing/coding a plugin. It is based on a self-developed plugin framework allowing unlimited extensibility. Most of its functionality is already provided by pre-installed plugins included in the base package: <placeholder-1/>

37.

Addtional plugins for Code:Blocks can be obtained at their wiki website: <ulink url="http://wiki.codeblocks.org/index.php?title=Code::Blocks_Plugins"> http://wiki.codeblocks.org/index.php?title=Code::Blocks_Plugins </ulink>

38.

CoqIDE Proof Assistant

39.

Home Page: <ulink url="http://coq.inria.fr"> http://coq.inria.fr </ulink>

40.

<application>Coq</application> is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an IDE for semi-interactive development of machine-checked proofs. It is developed using Objective Caml and Camlp5. A complete reference manual, standard library and other documents are found on it the Coq website. This is specialized software requiring a significant knowledge of formal mathematical theory even if your intent is to develop or test software algorithms.

41.

Eclipse IDE

42.

Home Page: <ulink url="http://www.eclipse.org/"> http://www.eclipse.org </ulink>

43.

<application>Eclipse</application> began life as a $40 million dollars woth of code contributed by IBM to the FOSS community, whose projects are focused on building an extensible development platform, runtimes and application frameworks for building, deploying and managing software across the entire software lifecycle. Many people know Eclipse as a Java IDE but it is much more than that. The Eclipse open source community has over 60 open source projects.

44.

Enterprise Development

45.

Embedded and Device Development