搜索结果：os（1510 个）

Squeal 是一个面向 Haskell 的 PostgreSQL 强类型嵌入库。它把 SQL 语法与模式（Schema）深度映射到 Haskell 类型系统，解决传统字符串 SQL 缺乏编译期校验、易出错的问题。 其核心功能包括： 1. **类型安全**：全面覆盖 DDL、DQL 与 DML，在编译期校验字段、NULL、主外键等约束。 2. **泛型编解码**：基于 `generics-sop` 自动转换 Haskell 记录与 SQL 参数/结果。 3. **完善生态**：支持连接池、事务、迁移及原生 SQL 逃逸机制。

专为程序员设计的免费开源等宽字体，支持编程代码连字（Ligatures）。

自动在补丁发布约 10 分钟后，实时构建非 Root 版 Morphe、ReVanced 及扩展版本。

用于终端会话挂载与分离（attach/detach）的工具。

JavaScript 的类型化超集，可编译为规范干净的 JavaScript 代码。

高性能的反向代理工具，帮助你将 NAT 或防火墙后的本地服务安全暴露到公网。

通用且高效的命令行模糊搜索工具。

在本地直接运行与测试 GitHub Actions 工作流的工具。

用于保存分布式系统最关键数据的可靠分布式键值存储系统。

独立、高度可定制的动态平铺 Wayland 合成器，兼顾强劲功能与出众颜值。

适用于 Windows 的 Linux 子系统（WSL）。

采用 C++ 编写的 PlayStation 4 模拟器，支持 Windows、Linux、macOS 和 FreeBSD。

Serenity 操作系统项目。

NGINX 开源项目的官方代码仓库。

广泛应用的通用 TLS 协议与加密算法库。

由社区维护的跨平台密码管理器，基于 Windows 平台的 KeePass Password Safe 移植开发。

Notepad++ 官方代码仓库。

OpenWrt 官方 Git 镜像仓库，供参考查阅并持续接收 Pull Request。

可扩展、分布式梯度提升库（GBDT/GBM），支持多语言并可在单机及 Spark、Flink 等集群运行。

全球领先且速度极快的高级密码恢复与破解实用工具。