-
Orange 基于 OpenResty 的 API 网关
Orange是一个基于OpenResty的API Gateway,提供API及自定义规则的监控和管理,如访问统计、流量切分、API重定向、API鉴权、WEB防火墙等功能。Orange可用来替代前置机中广泛使用的Nginx/OpenResty, 在应用服务上无……
-
gout Go 的 HTTP 开发包
gout —— 做最好用的http client库,示例代码: // 创建一个实例// 也可以直接调用包里面的GET, POST方法// 比如gout.GET(url)g := gout.New(nil)// 发送GET方法g.GET(url).Do()// 发送POST方法g.POST(url).Do()// ……
-
Bun “全家桶” JavaScript 运行时
Bun是采用Zig 语言编写的高性能 “全家桶” JavaScript 运行时,官方称其为 "all-in-oneJavaScript runtime"。Bun 提供了打包、转译、安装和运行 JavaScript & TypeScript 项目的功能,内……
-
Tabular 在 Vim 中对齐文本
Vim 插件Tabular允许你在 Vim 中按等号、冒号、表格等来对齐文本,对于经常写代码的朋友来说,有 Tabular 将会非常方便。 如上图所示,假如我想让其中的两行按等号对齐,则将光标定位到有等号的那行,执行 :Tab /……
-
SMACK 软件验证工具链
SMACK即是一个模块化的软件验证工具链,又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时,SMACK实现了对无上限的验证的初步支持。SMACK……
-
FreeCAD开源跨平台三维参数化建模软件
FreeCAD是一款开源的跨平台三维参数化建模软件,可用于设计各种实物对象。它支持自由建模和从二维到三维的转换,适用于多个领域,包括产品设计、机械工程和建筑。FreeCAD的底层技术包括OpenCASCADE几何核心、Coin……
-
pgmp PostgreSQL的任意精度计算模块
pgmp 是 PostgreSQL 的扩展模块,用于将对 GMP 库提供的任意精度数据类型的支持添加到数据库中。 该扩展将mpz(任意大小的整数)和mpq(任意精度的有理数)类型添加到 PostgreSQL,并向数据库公开 GMP 库中针对这……
-
Django Python Web 框架
Django 是一个高级 Python Web 框架,鼓励快速开发和简洁实用的设计。Django 使你可以更轻松地以更少的代码更快地构建更好的 Web 应用程序。 Django 框架的核心组件有: 用于创建模型的对象关系映射 为最终用户设……
-
Spree 开源商城
Spree一款采用Ruby on Rails开发的开源商城,兼容Rails 2.1,它作为独立的一个软件发布,可扩展,还包括完整的数据模型和管理界面。不过您仍然需要做相当多的定制编码。它并不是一个“out of the box”的解决办法。S……
-
Cucumber 自动化测试工具
Cucumber 是一个能够理解用普通语言描述的测试用例的支持行为驱动开发(BDD)的自动化测试工具,旨在提高软件质量并降低维护成本的软件开发过程。用多种语言编写,支持Java、JavaScript、Ruby、.Net等多种开发语言……