搜索结果：is（166 个）

.NET 平台下的开源企业级作业调度框架（Quartz Enterprise Scheduler）。

Claude Code 的自主目标导向迭代技能（Skill），实现修改、验证、保留/丢弃的持续循环

`optics` 是一个 Haskell 库家族，旨在通过抽象接口来定义和使用 Lens、Traversal、Prism 等光学元件（Optics）。它功能上与著名的 `lens` 库相当但采用了不同的设计，并提供极小依赖的核心库、TH 代码生成扩展及兼容工具。

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

基于新一代 Kaldi 与 ONNX Runtime 的离线语音工具包，支持语音识别、TTS、声纹与降噪等多端部署。

OpenFn 最新版自动化与数据集成平台，供政府管理复杂工作流与数据项目。