CodeContracts.Net 编程工具
CodeContracts 是用于 .Net 程序中的开源工具。它可以作为你内部或者外部 API 的检查文档，并且可以通过实时监测、静态合同验证和文档生成来改善测试。CodeContracts 将基于合同设计（design-by-contract）的编程方式的优点全部带给了 .Net 编程语言。
评论
JanetJNI编程工具
Janet（JavaNativeExtensions）是一个编程工具，它可以简化本地代码与Java应用程序的集成。Janet定义一个轻量级Java语言扩展，从而支持更高抽象级别上的本地编程，并在JAN
JanetJNI编程工具
0
Mixly图形化编程工具
Mixly是一款面向初学者、硬件编程爱好者的图形化编程工具。它完美地支持了Arduino、MicroPython，Python等语言的图形化编程。提供了图形化界面和代码界面对比显示的支持。Mixly还
Mixly图形化编程工具
0
S4AArduino图形编程工具
S4A是使Arduino开源硬件平台能够简单编程的Scratch修改版。在S4A中，提供了一系列新的传感器模块和输出模块，并通过它们连接到你的Arduino控制器上。
S4AArduino图形编程工具
0
XPairtiseEclipse结对编程工具
XPairtise为分布结对编程提供了一个平台。该插件提供共享编辑，项目同步，共享程序和测试执行，用户管理，内置对话交流和一个共享白板。目前尚未发现比其功能更多的插件，比较实用。
XPairtiseEclipse结对编程工具
0
GLPKGNU线性编程工具
GLPK(GNULinearProgrammingKit:GNU线性编程工具)用于建立线性规划LP和混合型整数规划MIP问题的建模语言，并对模型进行最优化求解。类似的商业产品是美国Lindo公司的Li
GLPKGNU线性编程工具
0