欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
PIDA
来自开放百科 - 灰狐
（版本间的差异）
小 (Pida移动到PIDA) |
|||
| （未显示1个用户的1个中间版本） | |||
| 第1行： | 第1行： | ||
| + | {{top news}} | ||
| + | {{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. |
| − | == | + | ==新闻== |
| + | <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: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>
分享您的观点
