-
Revel Go 的 全堆栈 Web 框架
Revel 是 Go 语言的框架,其思路完全来自 Java 的 Play Framework。 控制器示例: //app/controllers/app.gotypeApplicationstruct{*rev.Controller}func(cApplication)Register()rev.Result{title:="Register"ret……
-
Blaze Python 数值计算库
Blaze 是下一代的 NumPy。用于处理分布式的各种不同数据源的计算。
-
ncnn 高性能神经网络前向计算框架
ncnn 是腾讯优图实验室首个开源项目,是一个为手机端极致优化的高性能神经网络前向计算框架。 ncnn 从设计之初深刻考虑手机端的部属和使用。无第三方依赖,跨平台,手机端 cpu 的速度快于目前所有已知的开源框架。……
-
Gloo Kubernetes 原生 API 网关
Gloo 是一个基于 Envoy 的 Kubernetes 原生入口控制器和下一代 API 网关。Gloo 在函数级路由方面表现卓越,它支持传统应用程序、微服务与 Serverless。Gloo 设计独特,可支持混合应用,其中的多种技术、架构、协议……
-
Cedar 策略即代码工具
Cedar是一种开源策略语言和评估引擎。Cedar 使开发人员能够将细粒度的权限表达为在其应用程序中强制执行的易于理解的策略,并将访问控制与应用程序逻辑分离。Cedar 是第一种从头开始构建的策略语言,通过使用自动……
-
SMACK 软件验证工具链
SMACK即是一个模块化的软件验证工具链,又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时,SMACK实现了对无上限的验证的初步支持。SMACK……
-
Nautilus 文件管理器
Nautilus 在 Linux 中提供标签支持,你可以通过多个标签来浏览你硬盘中的文件,支持书签,并在左边的”位置(places)”中列出你的硬盘上的分区(可以通过点击分区后的 三角型的图标卸载)、主文件夹、桌面。支持回收站……
-
Electron 跨平台桌面应用开发工具
Electron 是一个使用 JavaScript、HTML 和 CSS 构建跨平台的桌面应用程序。它基于 Node.js 和 Chromium,被 Atom 编辑器和许多其他应用程序使用。 Electron 兼容 Mac、Windows 和 Linux,可以构建出三个平台的应用……
-
CAF C++ actor 模型框架
CAF —— C++ actor 模型框架,借鉴了 erlang 和 akka 的actor思想。使用C++现代编程规模实现。特点是:轻量级、分布式、简单、可适应以及无锁。 下载和构建: gitclonehttps://github.com/actor-framework/actor-fr……
-
TTime翻译软件:开源OCR翻译神器
TTime是一款功能丰富的翻译软件,提供了多种便捷的翻译方式和文字识别功能。这个软件支持多种翻译源,并提供了截图翻译、划词翻译、输入翻译、悬浮球翻译、截图OCR、静默截图OCR、剪贴板监听翻译等功能。TTime 软……