搜索结果：cti（84 个）

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。

Frontend 是《卫报》（The Guardian）网站的后端服务系统。它基于 Scala 和 Play 框架构建，核心功能是处理并生成结构化 JSON 数据，提供给前端渲染服务（Dotcom Rendering）展示页面，同时严格保障响应速度与单次 I/O 限制等高性能指标。

Claude Code 插件，可实时展示上下文用量、调用工具、运行中 Agent 和待办进度。

在 Neovim 中集成并管理 Obsidian 笔记的插件（持续维护版）。

一款开源的 Windows 和 Office 激活脚本工具，支持 HWID、Ohook、在线 KMS 等多种激活方式与故障排查。

fs2-kafka 是一个基于 Scala 的开源库。它结合官方 Apache Kafka 客户端与 FS2 框架，解决在 Scala 函数式编程中以流式方式操作 Kafka 的问题。核心功能是提供纯函数式的 API，支持以流（Stream）的形式高效消费、生产和处理 Kafka 消息。

Ciris 是一个专为 Scala 打造的函数式配置加载库。它旨在解决 Scala 应用中的配置加载问题，核心特点是轻量级且可组合，让开发者能够以函数式的方式轻松管理和组合应用配置。

Play-ReactiveMongo 是专为 Play Framework 开发的 MongoDB 插件。它集成了 ReactiveMongo 驱动，解决 Play 项目中异步操作 MongoDB 的需求，核心功能是为开发者提供响应式、异步且非阻塞的 Scala 数据库访问支持。

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

Argonaut 是一个基于纯函数式编程理念的 Scala JSON 库。它主要解决 Scala 开发者在处理 JSON 时的解析、生成与数据映射需求。核心功能包括 JSON 数据的解析、格式化输出与操作，并提供便捷的编解码器（codecs），支持 JSON 与 Scala 原生数据类型之间的相互转换。

集成了各类模型、Agent 与效率工具的 AI 工作台桌面应用。

Swagger UI 是一套前端资源集合，能根据符合 Swagger 规范的 API 动态生成美观的交互式接口文档。

提供免费域名注册与实用 DNS 学习资源的平台，支持自定义 nameservers，帮助开发者零成本获得域名并学习上线部署。

面向无向量、基于推理的 RAG 打造的文档索引工具。

集成了高生产力 CLI 工具的云原生 Go 语言微服务框架。

基于文件的 AI 编程 Agent 持久化规划工具，支持长任务、会话恢复、上下文防衰退与 Markdown 计划管理。

基于 JavaScript 开发的 Markdown 与 HTML 双向转换器。

为 Laravel 提供静态代码分析，提升开发效率与代码质量。

〔中文简介暂未生成〕 Generate Haskell bindings for GObject-Introspection capable libraries

基于 ASP.NET Core 的开源 Web 应用框架，为构建 .NET 企业级软件提供完整基础架构。