搜索结果：cti（682 个）
按分类缩小范围
cats
综合 52
Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。
rust-by-practice
综合 52
Rust By Practice 项目正演变为 Origin。
cats-tagless
综合 52
〔中文简介暂未生成〕 Library of utilities for tagless final encoded algebras
app-ideas （编程练手项目创意合集）
综合 52
用于提升个人编程技能的应用练手项目创意合集。
fs2-kafka
综合 52
fs2-kafka 是一个基于 Scala 的开源库。它结合官方 Apache Kafka 客户端与 FS2 框架，解决在 Scala 函数式编程中以流式方式操作 Kafka 的问题。核心功能是提供纯函数式的 API，支持以流（Stream）的形式高效消费、生产和处理 Kafka 消息。
tidb
综合 52
专为不可预测增长负载打造的分布式数据库，原生支持事务、分析与向量搜索。
opensnitch
综合 52
受 Little Snitch 启发的 GNU/Linux 交互式应用防火墙。
langextract
综合 51
基于 LLM 从非结构化文本中提取结构化信息的 Python 库，支持精确原文溯源与交互式可视化。
go-cursor-help
综合 51
解决 Cursor 免费试用期间出现的请求受限、可疑活动等拦截提示的工具。
ReactiveCocoa
综合 51
为 ReactiveSwift 提供的 Cocoa 框架与 Obj-C 动态绑定库。
nix-tree
综合 51
**nix-tree** 是一个用 Haskell 编写的终端交互工具，解决 Nix 派生包（derivation）依赖关系复杂、体积难以直观分析的问题。它支持终端内按键浏览依赖树，查看自身大小与闭包体积，提供搜索、依赖溯源及导出 DOT 格式等功能。
为 AI Agent 打造的开源网页爬虫与信息提取工具，基于 Apache-2.0 协议开源。
none-ls.nvim
综合 51
null-ls.nvim 的重制版，通过 Lua 将 Neovim 充当语言服务器，注入 LSP 诊断与代码操作等功能。
Penlight
综合 51
纯 Lua 库集合，聚焦输入数据处理、函数式编程及系统路径管理。
supavisor
综合 51
面向云原生环境的多租户 Postgres 连接池工具。
ciris
综合 51
Ciris 是一个专为 Scala 打造的函数式配置加载库。它旨在解决 Scala 应用中的配置加载问题，核心特点是轻量级且可组合，让开发者能够以函数式的方式轻松管理和组合应用配置。
alacritty-theme
综合 51
终端模拟器 Alacritty 的配色方案集合。
cabal2nix
综合 51
cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具，解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。
用 Java 实现的经典设计模式示例与参考集合。
涵盖 Linux、Docker、Kubernetes 等多项技术的 DevOps 面试题与练习题合集。