Archives for 开源软件 - Page 290
LokiJS：性能优先的 JavaScript 内存数据库
LokiJS 是纯 JavaScript 实现的内存数据库，面向文档，支持 ，浏览器和 Cordova。LokiJS 坚持的信条就是性能永远是第一考虑因素。 LokiJS 是： 浏览器的 NoSQL …
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…