搜索结果：at（572 个）

基于 AFL 的前沿模糊测试工具，支持 QEMU 5.1、无冲突覆盖率、laf-intel 与 redqueen 增强等特性

专为现代应用和事件驱动架构打造的原生事件数据库，简化数据建模并保障数据完整性。

.NET 的标准 Actor 模型实现，支持在 C# 和 F# 中运行本地及分布式 Actor。

一款实用且务实的代码编辑器

基于 Zig 的 Web 框架，利用依赖注入构建整洁、模块化的应用。

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

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

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

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

韩服《仙境传说》（kRO）的非官方英文本地化翻译项目。

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

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