搜索结果：at（567 个）

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

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

专为移动端优化的高性能神经网络推理框架。

原生多模型数据库，支持文档、图和键值模型，提供类 SQL 查询语言与 JavaScript 扩展。

基于端侧 STT 和定制 AI 增强模型的本地听写应用，Wispr Flow 的替代方案，支持 macOS 并向多平台拓展。

NSA 开源的软件逆向工程框架，提供反汇编、反编译等全套分析工具，用于分析多平台下的二进制编译代码。

针对 Apple Silicon 优化的推理引擎，支持 STQ 和 EXL3 格式高品质量化模型。