欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
PIDA
来自开放百科 - 灰狐
(重定向自Pida)
您可以在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>
分享您的观点