-
OS4 Linux 发行版
OS4（现在改名为Black Lab Linux）是一份用户友好的基于Xubuntu的桌面和服务器Linux发行。它的一些最有趣特性包括即刻可用的对流行多媒体格式的支持，Flash和Java，增加了一些软件包以用于多媒体创作、内容制作和……
-
Jetty Servlet 容器
Jetty是一个轻量级的高度可扩展的基于java的web服务器和servlet引擎。其目标是以大批量低延迟的方式支持HTTP、HTTP/2和WebSocket等Web协议，在提供最大性能的同时，保留多年servlet开发的易用性和兼容性。Jetty是……
-
SMACK 软件验证工具链
SMACK即是一个模块化的软件验证工具链，又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时，SMACK实现了对无上限的验证的初步支持。SMACK……
-
Parallax jQuery 页面滚动效果插件
Parallax 是一个实现页面滚动效果的 jQuery 插件，并在页面上固定显示滚动的进度信息。 使用方法: jQuery("#header").parallax("create");jQuery(".scene-1 .slice-1").parallaxSli……
-
flying MyBatis 的扩展插件
flying 是一个可以极大增加 mybatis 开发速度的插件组，它提供了一种全新的操作数据的方式，希望能对您有所帮助。 flying 主要特点： 以前我们在 mapper.xml 中要写很复杂的 sql 语句，但现在在 mapper.xml 中只……
-
Titan 分布式 NoSQL 数据库
Titan 是美图公司基于 TiKV 开发的一个 NoSQL 数据库，Titan 使用完全兼容 Redis 的通讯协议。 主要特性： 完全兼容 Redis 协议 完全支持强一致性的分布式事务 支持多租户模式 无缝扩展 高可用性 下面是 Tita……
-
kint PHP调试助手
当调试PHP代码时，var_dump()、print_r()和debug_backtrace()是我们最常用的工具。Kint，一个开源软件，一个不需安装的替代者，它提供了更好的调试体验。它巧妙地检测几乎不可读的数据，并将它们定制成规则的输出……
-
Apache Groovy JVM 动态脚本语言
Groovy 是一种基于 JVM 的敏捷开发语言，它结合了 Python、Ruby 和 Smalltalk 的许多强大的特性。 Groovy主要的特点包括： 是一个基于Java 虚拟机的敏捷动态语言。 构建在强大的 Java 语言之上 并添加了从 Pytho……
-
Rocker 内嵌式 Docker
ROCKER 是一个在线解压和进程沙箱实现, 针对的是基于 Linux 的资源受限的(即使是 docker 这样的容器实现自身的资源占用都是不能容忍的) IOT 系统, 旨在提高其资源利用率和系统安全性, 并且避免产生额外的性能开销.……
-
pgAdmin PostgreSQL 管理接口
pgAdmin是一个针对PostgreSQL数据库的全面设计和管理接口，可以在大多数操作系统上运行。软件用C++编写，采用了优秀的wxWidgets跨平台工具包。在每一个环境下，pgAdmin III都是一个本地化程序，以二进制方式执行，……
