|
|
43.
|
|
|
<application>Code::Blocks</application> is an open-source, cross-platform, free C++ Integrated Development Environment (<acronym>IDE</acronym>). Built around a plugin framework, <application>Code::Blocks</application> 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 that allows unlimited xtensibility. Most of its functionality is already provided by pre-installed plugins included in the base package: <placeholder-1/>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:125(para)
|
|
|
44.
|
|
|
Addtional plugins for <application>Code::Blocks</application> 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>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:233(para)
|
|
|
45.
|
|
|
CoqIDE Proof Assistant
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:244(title)
|
|
|
46.
|
|
|
Home Page: <ulink url="http://coq.inria.fr">http://coq.inria.fr</ulink>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:245(para)
|
|
|
47.
|
|
|
<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 <acronym>IDE</acronym> for semi-interactive development of machine-checked proofs. It is developed using the Objective Caml language (<ulink url="http://caml.inria.fr/ocaml/index.en.html"><trademark>OCaml</trademark></ulink>, with a bit of C. A complete reference manual, standard library, and other documents can be found on the <application>Coq</application> website. This is specialized software requiring a significant knowledge of formal mathematical theory, even if your intent is to develop or test software algorithms.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:249(para)
|
|
|
48.
|
|
|
Eclipse <acronym>IDE</acronym>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:266(title)
|
|
|
49.
|
|
|
Home Page: <ulink url="http://www.eclipse.org/">http://www.eclipse.org</ulink>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:267(para)
|
|
|
50.
|
|
|
<application>Eclipse</application> began life as a $40 million dollars worth of code contributed by <trademark>IBM</trademark> to the <acronym>FOSS</acronym> 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 <application>Eclipse</application> as a Java <acronym>IDE</acronym> but it is much more than that. The <application>Eclipse</application> open source community has over 60 open source projects.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:271(para)
|
|
|
51.
|
|
|
Enterprise Development
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:286(para)
|
|
|
52.
|
|
|
Embedded and Device Development
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:291(para)
|
