Prolog 逻辑编程语言
Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用……...
iPXE 是开源的网络启动固件。它提供了完整的 PXE 实施,并增强了其他功能,例如:
通过 HTTP 从 Web 服务器启动
从 iSCSI SAN 启动
通过 FCoE 从光纤通道 SAN 启动
从 AoE SAN 引导
从无线网络启动
从广域网络引导
从 Infiniband 网络启动
使用脚本控制引导过程
可以使用 iPXE 替换网卡上现有的 PXE ROM,也可以链载到 iPXE 中以获得 iPXE 的功能,而无需重新刷新。
Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用……...
Peanut 是为了提供简单、安全高效的开发而存在的 MVC 框架,开发语言是C#。 编写Peanut的目的是为了更简……...
NebulaGraph 是一款开源的、分布式的、易扩展的原生图数据库,能够承载包含数千亿个点和数万亿条边的超大……...
DXVK 是基于 Vulkan 的 D3D9,D3D10 和 D3D11 转换层,允许使用 Wine 在 Linux 上运行 3D 应用程序。 如……...
ncnn 是腾讯优图实验室首个开源项目,是一个为手机端极致优化的高性能神经网络前向计算框架。 ncnn 从设……...
magent 是一款开源的Memcached代理服务器软件。 特性 保持与内存缓存服务器的连接 支持以下 memcached 命……...
Eigen 是一个线性算术的C++模板库,包括:vectors, matrices, 以及相关算法。功能强大、快速、优雅以及支持多平台。 示例代码: #include <iostream>#include <Eigen/Dense>using namespace Eigen;int……
OSv 是专为在虚拟机上运行单一应用程序而设计的开源操作系统,采用BSD许可证授权,旨在在云端取代Linux。 与为大量物理机设计的传统操作系统相比,OSv是一种开放源代码的通用模块化Unikernel,旨在作为虚拟机在hyp……
Faust 是一个流处理库,将想法从 Kafka Streams 移植到 Python。 它在 Robinhood 用于构建高性能的分布式系统和实时数据管道,每天处理数十亿个事件。 Faust 提供流处理和事件处理,与 Kafka Streams,Apache Spar……