欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
PIDA
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| + | {{top news}} | ||
{{SeeWikipedia}} | {{SeeWikipedia}} | ||
| 第5行： | 第6行： | ||
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. | ||
| − | == | + | ==新闻== |
| + | <rss>http://pida.co.uk/blog?format=rss|short|date|max=10</rss> | ||
| + | |||
| + | ==链接== | ||
*http://pida.co.uk/ | *http://pida.co.uk/ | ||
| + | |||
| + | {{comment}} | ||
[[Category:IDE]] | [[Category:IDE]] | ||
[[Category:Python]] | [[Category:Python]] | ||
2010年11月9日 (二) 09:50的最后版本
|
您可以在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.
[编辑] 新闻
自http://pida.co.uk/blog?format=rss加载RSS失败或RSS源被墙
[编辑] 链接
<discussion>characters_max=300</discussion>
分享您的观点
