-
Haskell 函数式编程语言
Haskell是一种纯函数式编程语言，它的命名源自美国数学家Haskell Brooks Curry，他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以&lamb……
-
ferm 防火墙规则工具
ferm 是一个用来设置和维护复杂的防火墙规则的工具，它可以让系统管理员把重点放在规则制定上，而不是设置上。 配置的脚步类似简单的结构化编程语言，如下所示： chain INPUT { policy DROP; mod state sta……
-
Samba 在 Linux 和 UNIX 系统上实现 SMB 协议
Samba，是种自由软件，用来让UNIX系列的操作系统与微软Windows操作系统的SMB/CIFS（Server Message Block/Common Internet File System）网络协定做连结。在目前的版本（v3），不仅可存取及分享SMB的资料夹及打印……
-
Notesnook开源、端对端加密记事应用
Notesnook是一款开源、端对端加密(使用XChaCha20-Poly1305和Argon2)的免费记事应用，注重用户隐私和易用性。它提供个人隐私保护、知识管理和跨平台协作的功能，适合有隐私需求、知识整理和团队协作需求的用户。通……
-
Lubuntu 节能操作系统
Lubuntu是Ubuntu快速、轻量级且节省能源的变体，它使用LXDE（Lightweight X11 Desktop Environment）桌面。它旨在面向低资源配置系统，并被主要设计用于上网本、移动设备和老旧个人电脑。
-
Psyco 让 Python 运行得像 C 一样快
Python 的设计在很多方面都类似于 Java 的设计。两者都利用了解释专门的伪编译字节码的虚拟机。JVM 比 Python 更高级的一个方面在于优化了字节码的执行。Psyco，一种 Python 专用编译器，帮助平衡了这一竞争。Psyc……
-
JUDO 面向企业使用的低代码平台
JUDO 是一个面向企业使用的低代码平台。但与其他流行的低代码平台不同，JUDO 不是图形设计工具。它提供了一种基于文本的语言，称为 JSL（JUDO 规范语言）。JSL 的总体目标是培养明确且可读的应用程序描述。由于 JS……
-
Magento 开源的 PHP 电子商务系统
Magento是一套专业开源的PHP电子商务系统。Magento设计得非常灵活，具有模块化架构体系和丰富的功能。易于与第三方应用系统无缝集成。 特点Magento设计得非常灵活，具有模块化架构体系和丰富的功能。易于与第三方……
-
Prettier 前端代码格式化工具
Prettier 是一个“有主见”的代码格式化工具，支持列表如下： JavaScript，包括ES2017 JSX Flow TypeScript CSS、LESS和SCSS JSON GraphQL 简而言之，这个工具能够使输出代码保持风格一致。 示例： 举个例子……
-
Reactor 异步应用基础库
Reactor 是一个基于 JVM 之上的异步应用基础库。为 Java 、Groovy 和其他 JVM 语言提供了构建基于事件和数据驱动应用的抽象库。Reactor 性能相当高，在最新的硬件平台上，使用无堵塞分发器每秒钟可处理 1500 万事……
