-
Material Files开源的Android文件管理器
Material Files是一款开源的Android文件管理器,符合Material Design规范,支持root权限、NAS、压缩文件处理等功能。其界面简洁美观,设计细节精致,且注重安全性。适用于追求设计美感和数据安全性的用户群体,提……
-
Feedly一款国外RSS订阅工具
Feedly是一款国外RSS订阅工具,一般的国内用户很少去访问和使用,所以对于第一次访问Feedly的用户,Feedly会自动提示接入Google Reader的访问权限,无需注册新会员,允许访问Google Reader的权限之后,会自动将Go……
-
冇问题 微型论坛系统
在一些开源项目的激励之下,为了能与广大同行进行更深入的探讨,经过糗事百科官方许可,我发布了这份由我维护的旧版代码,并取名“冇(máo)问题”。 博聆网和暴走漫画的很多思路也是从这份代码中延续过来的。比如Su……
-
iweb WorkFlow
iweb WorkFlow基于j2ee平台开发,采用先进的可嵌入(Plug-in or Embeddable)的构件化设计模式,可方便的构筑基于流程管理的协同协作信息平台以及其他协同化应用产品,也可与其他现有应用系统实现快速集成。 iw……
-
casbin 轻量级访问控制框架
casbin是一个用Go语言打造的轻量级开源访问控制框架,采用了元模型的设计思想,支持多种经典的访问控制方案,如基于角色的访问控制 RBAC、基于属性的访问控制 ABAC 等。 casbin 的主要特性包括: 支持自定义请求的……
-
Neo4j 高性能的 NoSQL 图形数据库
Neo是一个网络——面向网络的数据库——也就是说,它是一个嵌入式的、基于磁盘的、具备完全的事务特性的Java持久化引擎,但是它将结构化数据存储在网络上而不是表中。网络(从数学角度叫做图)是一个灵活的数据结构,……
-
lineman web 应用工具
Lineman 是一个命令行实用工具,主要是帮 web 开发人员建立优秀的 JavaScript 的 web 应用程序。Lineman 提供一个封装包,里面有大量的建造客户端的工具(主要是 Express, Grunt 和 Testem)。如果你想要做一个特……
-
GATK 基因组分析工具包
GATK 是 Genome Analysis ToolKit 的缩写,是一款从高通量测序数据中分析变异信息的软件,是目前最主流的 snp calling 软件之一。GATK 设计之初是用于分析人类的全外显子和全基因组数据,随着不断发展,现在也可以……
-
XWiki Java的Wiki 系统
XWiki是一个由Java编写的基于LGPL协议发布的开源wiki和应用平台。它的开发平台特性允许创建协作式Web应用,同时也提供了构建于平台之上的打包应用。
-
Navi 组件化系统框架
Navi 项目介绍: 在过去的一年里,会员交易系统的下单服务进行了彻底重构。重构后,在下单服务上对接新支付方式的开发时间从过去的三天左右,变为现在的一小时左右,工作效率大幅提高。 这一成绩的实现依靠的是下……
-
SMACK 软件验证工具链
SMACK即是一个模块化的软件验证工具链,又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时,SMACK实现了对无上限的验证的初步支持。SMACK……