Archives for 开源软件 - Page 279
Mindex：小而快的 JavaScript 复合索引
Mindex 是个小而快的 JavaScript 复合索引，灵感来源于 JavaScript 内存数据库 LokiJS ()。 Mindex 可以帮助用户在集合中查找对象，Mindex 可以迅速的搜索…
CakeML —— 函数式编程语言
CakeML 是 ML 的证明实现，是个函数式编程语言，包含一个编译器和运行时系统。 CakeML 基于 Standard ML 实质性的子集，是高阶逻辑的特定语义。CakeML 的编译器算法也是在高…
GalliumOS：为 ChromeOS 设备而生的 Linux 发行版
GalliumOS 是个快速，轻量级的 Linux 发行版，专注于 ChromeOS 设备。 主要特性： 性能：优化系统，改进整体响应 触摸板：集成 ChromeOS 鼠标驱动，提供类似 Chrome…
基于浏览器的开源视频会议解决方案Hubl.in
是一个免费开源基于浏览器的视频会议解决方案，基于WebRTC技术，不需要任何插件即可实现不同浏览器间分散的通信方式。视频通信信息并不会以任何形式的视频流经过服务器，提高了实时通讯的安全和效率。获得了2…
Gx：基于 IPFS 的通用包管理工具 (Go)
gx 是个基于分布式，内容处理文件系统 IPFS 的通用包管理工具，语言无关，非常灵活，强大和简单。Gx 当前还是 Alpha 版本，但在 go-ipfs 依赖管理上证明是可靠的。 使用 添加新库：…