搜索结果：at（3490 个）

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

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

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

面向新手的 Arch Linux 教程，含双系统、驱动、桌面、输入法、游戏及虚拟机等配置指南。

texmath 是一个用于数学公式格式转换的 Haskell 库。它支持在 TeX math、MathML 和 OMML 之间相互转换，并能输出为 Typst、Gnu eqn、StarMath 及 Pandoc 原生格式。除作为代码库使用外，它还可编译为命令行工具或提供 JSON API 的 Web 服务。

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

开源 Game Boy Advance（GBA）游戏硬件模拟器。

面向 Mac 管理员的 Apple 软件更新简明信息聚合源。

精选汇总的优质 Go 语言框架、库和软件资源列表。

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

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

开源的持续文件同步工具。

快速、可扩展的多平台 HTTP/1-2-3 Web 服务器，支持自动配置 HTTPS。

面向现代架构的云原生应用代理与反向代理工具。

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

Ethereum 协议的 Go 语言实现。

面向分析型业务的高性能分析型数据库系统。

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

FreeCAD 官方源码，一款免费开源的跨平台 3D 参数化建模软件。

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