Set China 1.0.0

相关软件

• My Language ID 免费

  这是一个简单的应用程序开发，以帮助开发人员检测语言ID和在Android设备上配置的国家/地区参考。

• Alleyoop 免费

  Alleyoop 是 Valgrind 内存检查器的 Gnome 前端

• DOC2IGC 免费

  此工具可用于将Palm DOC格式的"飞行飞行员"生成的飞行日志转换为IGC记录文件，用于飞行分析软件（如 SeeYou 和 SoaringDotNet），或将您的航班上传到 OLC 服务器。

• myinit 免费

  通过引用计数（"开始"和"停止"命令）具有并行执行和依赖项的简单"init"程序。

• Breki CCNet Utilities 免费

  用于CruiseControl.NET。目前只有一个插件可用： BrekiLabeller - 一个自定义标签CruiseControl.NET。允许以"前缀-M.m.B.R"格式生成标签。类似于南特康特里布

• svnauthzctl 免费

  用于管理 Subversion 存储库的访问规则、编辑文件 conf/authz 的小型实用程序。

• Common Lisp Graph Tools 免费

  用于表示和操作图形的通用 Lisp 库。实现的算法：子图同构性（乌尔曼）、自构、规范化（Nauty）、连接组件/联合查找。

• MetaAgent 免费

  完全模板化C++代理（字符）的转向行为库。该库作为包提供，您可以在其中使用模板的函数创建自己的行为。

• OpenPoplog 免费

  OpenPoplog 是一种多语言、增量编译的基于虚拟机的开发环境，具有丰富的教学和支持材料，支持 Unix、VMS、Linux 和 Windows 上的 Pop-11、Prolog、通用 Lisp 和 ML 语言。

• UNB Theorem Prover? 免费

  在 Java 中实现的自动定理证明器并使用子句树。 该软件将能够读取TPTP的数学定理，并证明或反驳它们。