-
Tink 多语言、跨平台加密开发库
Tink 是一个多语言、跨平台的加密开发库，提供安全，易于正确使用和难以滥用的加密 API，目前 Tink 已经被用于保护许多谷歌内部产品的数据，如 AdMob、Google Pay、Google Assistant、Firebase 与 Android Search ……
-
Consul 服务的注册和发现
Consul 简化了分布式环境中的服务的注册和发现流程，通过 HTTP 或者 DNS 接口发现。支持外部 SaaS 提供者等。 在线演示：http://demo.consul.io/ui/ 使用示例： admin@hashicorp:digweb-frontend.service.consul.A……
-
Rosette 解算器辅助的编程语言
Rosette 是新的计算机辅助解析编程（SDSLs）语言，扩展了 Racket 的一些特性：合成，验证，调试和执行。 Rosette 是一个解算器辅助的编程语言，扩展了 Racket 用于程序合成、校验等。为了校验和合成代码，Rosette ……
-
DXVK 基于 Vulkan 的 Direct3D 9/10/11 转换层
DXVK 是基于 Vulkan 的 D3D9，D3D10 和 D3D11 转换层，允许使用 Wine 在 Linux 上运行 3D 应用程序。 如何使用 为了将从发行页面获得的DXVK软件包安装到给定的wine前缀中，请从DXVK目录中运行以下命令： export WI……
-
Merlion 时间序列的机器学习库
Merlion 是一个用于时间序列智能的 Python 库。它提供了一个端到端的机器学习框架，包括加载和转换数据、构建和训练模型、后处理模型输出以及评估模型性能。它支持各种时间序列学习任务，包括单变量和多变量时间序……
-
DEEP 数字企业端到端平台
DEEP（Digital Enterprise End-to-end Platform）是由 AWS 支持的成本低，维护成本低的数字化平台。帮助企业开发人员提高工作效率。 使用DEEP Framework，开发人员可以立即使用： 简化的“类似于生产”的开发环境 使……
-
MIUI Android 定制系统
MIUI 是小米科技推出的一款基于CyanogenMod而深度定制的 Android 移动操作系统，从 Android 4.0 开始，已经完全脱离CyanogenMod而改为基于原厂ROM的定制方式，中文名称为“米柚”。它大幅修改了Android本地的用户界……
-
VisIt 图形化科学数据分析工具
VisIt 是一种交互式并行可视化访问和图形的分析工具,用来查看科学数据。用户可以从他们能快速生成可视化数据,随着时间而动态显示,操纵他们,保存用来展现的结果图像。Visit含有丰富套可视化功能,以便你可以各种不同……
-
Meta2d.js 可视化在线绘图引擎
乐吾乐 Le5le Meta2d.js是一个实时数据响应和交互的2d引擎，可用于Web组态，物联网，数字孪生等场景。。 在线使用 在线使用 为什么使用 新引擎 数据+ 算法 + 风格 = 栩栩如生； 数据为核心、数据驱动显示； 多状……
-
Pony Actor 模型编程语言
Pony 是一个面向对象的基于 Actor 模型的安全而且高性能的编程语言。Pony 提供 Sublime 和 Atom 编辑插件，同时很快将提供 vim 和 Visual Studio 支持。可使用 LLDB 和 GDB 进行调试。 Pony 兼容 C 程序，其编译器……
