欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
PIDA
来自开放百科 - 灰狐
（版本间的差异）
小 (Pida移动到PIDA) |
|||
| 第1行： | 第1行： | ||
| + | {{SeeWikipedia}} | ||
| + | |||
Pida - A Framework for integrated development | Pida - A Framework for integrated development | ||
| − | PIDA is an IDE (integrated development environment). PIDA is different from other IDEs in that it will use the tools you already have available rather than attempting to reinvent each one. PIDA is written in Python with the PyGTK toolkit, and although is designed to be used to program in any language, PIDA has fancy Python IDE features. | + | PIDA is an IDE (integrated development environment). PIDA is different from other IDEs in that it will use the tools you already have available rather than attempting to reinvent each one. PIDA is written in [[Python]] with the [[PyGTK]] toolkit, and although is designed to be used to program in any language, PIDA has fancy Python IDE features. |
==Links== | ==Links== | ||
*http://pida.co.uk/ | *http://pida.co.uk/ | ||
| + | |||
| + | [[Category:IDE]] | ||
| + | [[Category:Python]] | ||
2010年9月21日 (二) 10:39的版本
|
您可以在Wikipedia上了解到此条目的英文信息 PIDA Thanks, Wikipedia. |
Pida - A Framework for integrated development
PIDA is an IDE (integrated development environment). PIDA is different from other IDEs in that it will use the tools you already have available rather than attempting to reinvent each one. PIDA is written in Python with the PyGTK toolkit, and although is designed to be used to program in any language, PIDA has fancy Python IDE features.
Links
分享您的观点
