-
Haskell 函数式编程语言
Haskell是一种纯函数式编程语言,它的命名源自美国数学家Haskell Brooks Curry,他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上标准化的,并且以&lamb……
-
Tizen 基于 Linux 的开源移动操作系统
Tizen(又名泰泽)是基于 Linux 的开源软件平台,采用 Linux 核心和 WebKit 运行,可运行在智能手机、平板电脑、智能手表、笔记本电脑、车载消息娱乐设备(IVI)和智能电视上。它由一个技术指导委员会管理,成员包……
-
Spinach 自动化测试工具
Spinach是一种高层次的的行为驱动开发(BDD)框架,利用Gherkin语言(被Cucumber使用)来帮助定义你的应用程序或库的验收标准。 作为Cucumber的替代,它有以下设计目标: 步骤可维护性:功能映射到自己的类,步骤只是……
-
Osprey 漏洞检测与利用框架
Osprey 是由 TCC (斗象能力中心)出品并长期维护的开源漏洞检测框架。 简介 Osprey 是一个可扩展的开源漏洞检测与利用框架(Python3 开发),是 TCC 长期的安全能力与经验的积累形成的一个可用工具,目前被集成应用于……
-
Structs Go 结构体实用工具
Structs 包括各种 Go(Golang)结构实用工具。Structs 一开始只是用来转换一个结构体成为一个map[string]interface{},后来慢慢发展,现在添加了其他的实用工具。 安装 gogetgithub.com/fatih/structs 使用和示例 ……
-
Rubick 基于 electron 的开源工具箱
Rubick 是一个基于 electron 的工具箱,媲美 utools 的开源插件,已实现 utools 大部分的 API 能力,所以可以做到无缝适配 utools 开源的插件。 之所以做这个工具箱一方面是 utools 本身并未开源,但是公司内部的……
-
Oga Ruby 的 XML/HTML 解析器
Oga 是一个 Ruby 的 XML/HTML 解析器。 示例代码1: require'oga'require'net/http'body=Net::HTTP.get(URI.parse('http://www.reddit.com/'))document=Oga.parse_html(body)titles=document.xpath('//div[contain……
-
SciPy Python 的科学计算包
SciPy (pronounced "Sigh Pie") 是一个开源的数学、科学和工程计算包。 示例代码: from scipy import optimize, specialfrom numpy import *from pylab import * x = arange(0,10,0.01) for k in arange(0.5,5.5)……
-
Cali 在线书库
这是一个基于 Java和Javascript开发的书籍管理系统。你可以通过 Cali 管理你的书籍。 它的功能有: 添加书籍 从豆瓣快捷添加书籍 上传书籍资源 绑定资源到书籍上 分享给平台其他用户 下载你想阅读的书籍 支持github……
-
MRQ 分布式 worker 任务队列
MRQ(MR.Queue)是一个使用 Redis&gevent 的分布式 worker 任务队列。 MRQ 是一个独特的任务队列,它一方面旨在像 RQ 一样简单,另一方面要求有接近 Celery 的性能。MRQ最早在 Pricing Assistant 上被开发,它最……