搜索结果：c（830 个）

用于流处理、实时分析、LLM Pipeline 和 RAG 的 Python ETL 框架。

兼顾灵活性、高效性与跨平台特性的 Rust 深度学习框架。

case-app 是一个 Scala 命令行参数解析库。它允许开发者直接用样例类（case class）字段来定义选项，自动完成参数解析并生成帮助信息。核心功能包括支持子命令、Shell 补全、注解定制帮助，以及跨 JVM、Scala.js 和 Scala Native 运行。

Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。

cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具，解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。

Google 开发的高性能 Key-Value 存储库，支持字符串键值的有序映射。

Play JSON 是一个用 Scala 编写的强大 JSON 库。它不依赖 Play 框架，底层使用 Jackson 解析。主要解决 Scala 应用中 JSON 解析、序列化与对象映射的需求。核心功能包括内置完整的 JSON AST、与样例类互转，以及提供便利的 DSL 操作符（如 `\`）快速查询和遍历 JSON。

基于 FastAPI 与 React 的全栈 Web 模板，集成 SQLModel、PostgreSQL、Vite 及 Docker Compose。

用于构建 Agent 和生成式 UI 的前端栈，支持 React、Angular 等框架。

极速为现有数据库生成实时 GraphQL API 的引擎，支持细粒度权限控制与数据库事件 Webhook 触发。

运行于页面的 JavaScript GUI Agent，支持用自然语言直接操控 Web 界面。

高性能统计机器智能与机器学习引擎（SMILE）。

〔中文简介暂未生成〕 A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

微软官方出品，针对 1-bit LLM 的推理框架。

基于 WinUI 的跨平台 YouTube Music 客户端，支持无损播放和发烧级音频功能。

Tasty 是 Haskell 的现代化测试框架。它解决了各类测试难以统一管理的问题，能将单元测试、Golden 测试及 QuickCheck 等属性测试整合进同一个测试套件。核心功能包括多测试并发执行且确定性输出、命令行模式过滤、层级着色统计展示、跨测试资源管理及高度可扩展性。

akka-persistence-jdbc 是 Akka Persistence 的 JDBC 插件。它主要解决 Akka Actor 状态持久化与恢复问题，能将日志（journal）和快照（snapshot）异步写入关系型数据库，并完整支持 Persistence Query API，方便开发者基于 DDD 构建响应式应用。

〔中文简介暂未生成〕 A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

ducktape 是一款专为 Scala 3 设计的无样板类型转换库（灵感来自 chimney）。它主要解决相似数据模型间手动映射繁琐的问题，能在编译期自动、可定制地实现结构相似的 case class、sealed trait 和 enum 之间的无缝转换。

基于 Flutter 构建的 Invoice Ninja 桌面端与移动端管理后台。