OCaml Global Tags 1.0

相关软件

• JUnit-addons 免费

  JUnit-aedons 是 JUnit 的帮助器类的集合。此库可同时用于 JUnit 3.7 和 JUnit 3.8.x

• Minnie Clock Widget 免费

  这是简单，美丽和易于使用的米妮时钟小工具，你可以选择3种大小：2x2，3x3，4x4。不要迟到，有乐趣和不同的时钟小部件:)通知：-互联网连接是需要显示我们所有的小部件的列表。-你可以点击小部件打开报警的设置.-在某些Android设备上有可能报警不会工作，但这不会影响小部件的活动。标签： 米妮， 卡通， 迪斯尼， 时钟， 手表， 小部件

• FlightTools E6B 免费试用

  执行所有标准的 E6B 计算，然后执行一些。9-16-10 - 1.8： Neg. nums 固定。添加 gal/lit conv. 以节省燃油- SM/结/公里 转换器- C/F 温度转换- 压力转换- 地面速度- WCA- 露点/湿度- 密度海拔- 油耗- 跑道横风- 风速- 时间与发展

• G-UML 免费

  编程语言和工具允许：为Java、C#、C++,..;验证代码正确性和形式属性。其目的是允许组件的最大可重复性（不依赖于语言），以及证明它们的正确性。

• JKoha - Java implementation of koha ILS 免费

  致力于提供 Koha ILS 的完整 Java 和面向对象实现。Koha 是世界上第一个免费和开源图书馆系统，拥有完整的目录、在线、流通、会员管理、序列号和收购包。

• DiaGen 免费

  体系结构描述语言 （DiaSpec） 支持对给定分布式计算区域的组件的描述。根据这些描述，DiaGen 生成一个专用的编程框架来支持分布式应用程序开发。

• Webtest Template Generator 免费

  Webtest 模板生成器为目标应用中的每个网页创建 xml 文件。它创建一个模板，登录到应用程序，调用特定页面，然后验证是否发生错误，并验证链接和图像。与 Canoo Webtest 一起使用

• erlide: Erlang IDE @ Eclipse 免费

  基于Eclipse的EDE用于erlang http://www.erlang.org，这是爱立信开发的面向并发的语言。请安装/更新从http://erlide.org/update

• db4o proxy activation 免费

  此项目使用代理而不是字节码转换向 DB4O 提供透明激活。

• B2BOS 免费

  "企业到企业操作系统" 是一组基于 Java 的模块，用于提供拍卖、目录、目录作为 B2B 电子市场的开放源替代。操作系统"方面与资源分配能力有关。