开源项目

Dentaku 是一种数学和逻辑公式语言的解析器和评估器，它允许在运行时将值绑定到公式中引用的变量。它旨在在不打开安全漏洞的情况下安全地评估不受信任的表达式。 例子 这可能是最简单的用代码来说明...

如果你想尝试FreeBSD，但手上没有恰当的硬件，或没有时间折腾桌面，那么VirtualBSD可以满足你的要求。VirtualBSD是基于FreeBSD 7.1-RELEASE的一个VMware...

Xen hypervisor 提供了一组特性集，可以实现 x86、x86_64、IA64、PowerPC™ 和其他 CPU 架构的虚拟化，以及包括 Windows®、Linux、Solaris ...

GAP 是 Groups、Algorithms、 Programming 的首字母简称，是一个计算离散代数的系统，特别强调计算群理论，主要用于研究组及其表示、环、向量空间、代数、组合结构等。 G...

PDFO（Powell's Derivative-Free Optimization solvers，Powell 无导数优化求解器）为 Michael J. D. Powell 的无导数优化求...

DeepXDE 是一个用于科学计算的机器学习库，它具有以下功能： 通过物理信息神经网络 (PINN) 求解正向和反向偏微分方程 (PDE)， 通过 PINN 求解正向和逆向整数微分方程 (IDE...

Pythran是Python语言子集的前置编译器，专注于科学计算。 它需要一个带有一些接口说明的Python模块，并将其转换为具有相同接口的本机Python模块，但速度更快。 相当于是你用它来实...

Plex86是一个开放源码软件的虚拟机项目的x86 。它可用于自己到runLinux轻巧VM的虚拟机使用的技术，或与bochs emulatoras加速器运行非VM的友好的操作系统。

Ganeti是基于Xen虚拟机管理器和其他开源软件的虚拟服务器管理软件工具。 要运行Ganeti你需要在服务器上重装虚拟机软件。安装完毕后，这个工具会替代原来虚拟机实例中的管理部分（Xen Do...

VMware View Open Clien 是 VMware 以 LGPL V2.1 许可发布了一个开源的 Linux VDI（virtual desktop infrastructure）客...

vmware 不是开源软件。 VMware公司是全球著名的虚拟机软件公司，目前为EMC公司的全资子公司。 产品 VMware工作站（VMware Workstation）是VMware公司销售的...

Live View 是一个采用 Java 开发的图形化工具，用来从直接从某个磁盘分区或者整个磁盘来创建一个 VMware 的虚拟机。

RAPIDS cuGraph库是一组图形分析，用于处理GPU数据帧中的数据 - 请参阅cuDF。 cuGraph旨在提供类似NetworkX的API，这对数据科学家来说很熟悉，因此他们现在可以更...

Indicator-VirtualBox 是一款简单易用的程序指示器，通过它可以不用打开 VirtaulBox 就能快速启动虚拟机。它会在顶部面板上列出你现有的所有虚拟机，单击就可以直接启动其中...

Xen 项目专注于在一些不同的商业和开源应用中推进虚拟化，包括服务器虚拟化、基础设施即服务（IAAS）、桌面虚拟化、安全应用、嵌入式和硬件设备以及汽车/航空。 Xen 是一个开放源代码虚拟机监视...

RemoteBox 是一个图形化的工具，用来管理远程服务器或者本机的 VirtualBox 虚拟机。 倘若你在互联网上有一个root服务器，在家里有一个服务器，或一个服务器运行在VirtualB...

NASOQ 是一种可扩展且高效的二次规划求解器，可以获得所需精度的解。 安装 库要求 MKL Pardiso 或 OpenBlas (BLAS)、OpenMP 和 METIS。Cmake 处理 ...

它是一个非常灵活的虚拟化管理系统，从统一控制台（WEB界面）集中管理你的虚拟化服务器群，它支持openvz和xen虚拟化平台。

Oracle VM 是甲骨文公司发布的虚拟服务器软件。 甲骨文表示，客户可以通过单点支持他们全部的虚拟环境，包括Linux操作系统和Oracle产品。Oracle VM支持其他Oracle和非O...

andLinux 是一个基于 Ubuntu 的自由软件项目，其目的是让你不需要使用诸如 VMWare 之类的虚拟机就可以在 Windows 下运行 Linux，而且最有意思的是，你可以同时使用 ...