The Checker Framework

相关软件

• ajaxWM 免费

  ajaxWM 是一个可调到的基于 ajax 和 python 的窗口管理器，它提供多个灵活的终端在 Web 浏览器中，通过网络舒适地远程控制计算机，而无需在客户端上安装任何软件。

• Twick.it API Wrapper 免费

  如果您喜欢使用 Twick.it API，应该看一下此包装器。只需调用一些静态方法，就可以从 API 读取数据，而不必关心发送 HTTP 请求或分析 XML 数据等所有 REST 内容。

• WURDE 免费

  WURDE 是机器人应用开发的中间件。它设计为开发中的最大简单，并且易于添加对备用通信协议的支持。它包括一个模块管理系统。

• vTpl - Templating System 免费

  vTpl 是动态网站的动态模板化系统。vTpl 适用于希望在没有大型模板化系统的情况下将显示逻辑从业务逻辑中分离出去的开发人员。vTpl 支持智能缓存，这将加快加载时间。

• KML share 免费

  kmlshare 是一个基于谷歌地图 api 的网站软件。用户可以将 kml 文件上传到网站，该网站被解析，地标存储在数据库中，使内容可浏览和搜索。在 http://www.vansham.com/janaagraha/http://www.vansham.com/janaagraha/

• PHersistence 免费

  PHersal 是一个为 PHP 编写的强大的对象关系持久性框架。旨在涵盖从 db2 到 MySQL 和进度最常用的数据库后端。PHer persistence 的目标是将数据库持久性引入 PHP 世界。

• Lamino 免费

  Lamino 是一种高级配置金属语言，通过配置分层和封装组件增强基本 IoC（控制反向，即依赖注入）。

• PIES 3.14159... complement ECMAScript 3! 免费

  PIES 提供 ES3 中不存在的包/导入机制（ECMAScript 语言规范第 3 版，JavaScript 的标准 JScript）。对于许多选定的库，PIES 将补充 ES3！

• Kaolak Community System 免费

  Kaolak 是一个基于 Web 的社区系统，使用 PHP4 和 MySql 在 Apache 上运行。社区由其用户和文档定义，并形成一个 kaolak 分支。Kaolak 设计用于透明地处理多个分支。

• bisrulz 免费

  基于 Java 的元数据驱动规则引擎。此引擎将允许您配置自己的域特定元数据。它提供了动态规则定义、规则链接等功能，并且很容易定义规则。