软件

美国国际开发署

美国国际开发署是一个用于发现和消除文本中命名实体（人员、组织…）歧义的系统。

计算几何算法库

克劳斯是一个开放的信息提取器，从自然语言文本中提取关系及其参数。ClausIE利用有关英语语法的语言学知识，首先检测输入句子中的子句，然后根据其成分的语法功能识别每个子句的类型。ClausIE基于依赖解析和一组独立于领域的词典。提取器当前可以在各种设置下运行。

CLOCQ公司是一个以事实为中心高效访问Wikidata的工具包，提供了检索给定文本短片的相关Wikidata-事实的功能。该软件是使用Python构建的，并提供了将CLOCQ集成到您的系统中的不同可能性。

公民提供了一个对话式问答（QA）框架，该框架基于一个通用的三阶段管道，用于将异构源（Wikidata事实；Wikipedia文本、表格、信息框）集成到回答过程中。通过从各自的父类继承，可以很容易地替换各个模块，从而为您的特定用途创建管道的自定义实例。该软件是使用Python构建的。

迪帕提供分布式系统拓扑数据分析的算法，包括创建单元复合体和计算持久性图。

EpiExplorer集成了多种表观遗传和遗传注释
使它们可以通过交互式界面进行浏览。

FunSimMat游戏是一个针对蛋白质和蛋白质家族的综合功能相似性数据库，也是一个简单快速的疾病基因排序工具。

Geno2Pheno根据病毒基因组序列预测HIV、乙型肝炎和丙型肝炎病毒的表型耐药性。

高效数据类型和算法的C++类库

分布式搜索：Minerva公司.

对等（P2P）方法允许以分布式和自组织的方式处理大量数据。

尼日利亚石油公司是一个可扩展的计算机视觉工具，用于从中提取网络
图像。它以加权图的形式提取网络信息
适用于多种输入图像，例如：昆虫翅膀、树叶
脉序、黏菌、泥裂缝等。

用于读取、写入、操作和查看高动态范围（HDR）图像和视频帧的工具

Phat公司是一个工具箱，提供了几种算法和数据结构，用于计算持久同源性。

RDF-3X型是一个RDF存储和检索系统，通过遵循RISC风格的设计理念实现了卓越的性能。

RnBeads是一个R包，用于全面分析通过各种实验协议获得的DNA甲基化数据。

自动推理工作台。

SPASS+T系列是基于叠加的定理证明器SPASS的扩展，它使用一些内置的算术简化规则和任意SMT程序，将算术符号和自由函数符号作为黑盒，扩展了SPASS的推理能力。

TopX公司是用于XML（和纯文本）数据的分级检索的搜索引擎。

香车叶草是单位等式逻辑的定理证明者。其证明程序为不合格Knuth-Bendix完井。

雅戈是一个巨大的语义知识库。目前，Yago认识90多万个实体