欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IDEX
来自开放百科 - 灰狐
OpenVS: C,C++,Python IDE
OpenVS(Open Visual Studio): 打造开放的Visual Studio, 打造C/C++/Python 的快速开发平台, 可运行于Windows, Linux/UNIX, Mac平台上.
OpenVS based on Monkey Studio, Qt Creator...
我们需要有一把独门兵器, 这就是 OpenVS :)
Projects
Links
分享您的观点