-
Material Files开源的Android文件管理器
Material Files是一款开源的Android文件管理器,符合Material Design规范,支持root权限、NAS、压缩文件处理等功能。其界面简洁美观,设计细节精致,且注重安全性。适用于追求设计美感和数据安全性的用户群体,提……
-
Gogs 极易搭建的自助 Git 服务
Gogs 是一款极易搭建的自助 Git 服务。 开发目的 Gogs 的目标是打造一个最简单、最快速和最轻松的方式搭建自助 Git 服务。使用 Go 语言开发使得 Gogs 能够通过独立的二进制分发,并且支持 Go 语言支持的所有平台……
-
Roda Web 开发框架
Roda 是一个全新的 Ruby 的 Web 开发框架,通过使用路由树实现更快和 DRY 编码。 示例代码: #catconfig.rurequire"roda"classApp<RodauseRack::Session::Cookie,secret:ENV['SECRET']routedo|r|#matchesanyGET……
-
ZRender 轻量级的图形库
ZRender 是一个轻量级的图形库,可为 Apache ECharts 提供 2d 绘制。 ZRender是二维绘图引擎,它提供 Canvas、SVG、VML 等多种渲染方式。ZRender 也是ECharts的渲染器。 ZRender 提供了将近 20 种图形类型,可以在……
-
SMACK 软件验证工具链
SMACK即是一个模块化的软件验证工具链,又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时,SMACK实现了对无上限的验证的初步支持。SMACK……
-
Acai JUnit4 和 Guice 测试库
Acai 是 JUnit4 和 Guice 的测试库,可以更容易的编写应用功能测试。 主要特性: 注入测试需要的助手类 启动测试需要的任意的服务 运行测试之间的服务清理 按照正确顺序启动多个服务 创建测试作用域绑定 Acai……
-
TinyOS 开放源代码操作系统
TinyOS是UC Berkeley(加州大学伯克利分校)开发的开放源代码操作系统,专为嵌入式无线传感网络设计,操作系统基于构件(component-based)的架构使得快速的更新成为可能,而这又减小了受传感网络存储器限制的代码长……
-
TeamCity 持续集成工具
TeamCity 是一个通用的CI/CD解决方案,可以为各种工作流程和开发实践提供最大的灵活性。TeamCity提供一系列特性可以让团队快速实现持续继承:IDE工具集成、各种消息通知、各种报表、项目的管理、分布式的编译等等……
-
Argo 容器本地工作流引擎
Argo 是一个开源的容器本地工作流引擎,用于在Kubernetes上完成工作。 Argo实现为Kubernetes CRD(自定义资源定义)。 定义工作流中每个步骤都是容器的工作流。 将多步骤工作流建模为一系列任务,或使用图形(DAG……
-
Nimbus IaaS 解决方案
Nimbus 是一种以科学计算为中心的 IaaS "Infrastructure-as-a-Service" 解决方案。使用 Nimbus,你可以借用远程资源(比如由 Amazon EC2 提供的远端资源)并能对它们进行本地管理(配置、部署 VM、监视等)。Nimbu……