搜索结果：cti（702 个）

自动化渗透测试与攻击面管理平台，涵盖侦察、扫描与利用，内置 600+ exploits 和 90+ 工具集成。

scalameta 是一个专为 Scala 打造的元编程库。它主要解决 Scala 代码在分析、转换和生成等处理上的繁琐问题。核心功能涵盖代码解析（Parser）、语法与语义分析（SemanticDB）、代码格式化打印（Pretty-printer）及代码自动生成与转换。

非破坏性 2D 图形编辑器（概念验证项目）。

用于流式 3D 重建的几何上下文 Transformer 模型。

Binding.scala 是一个支持 JVM 和 Scala.js 的响应式数据绑定库。它主要解决前端与 GUI 开发中的视图与数据同步问题。核心功能是提供精确的响应式数据绑定与自动生命周期管理，无需虚拟 DOM 即可高效更新视图，同时支持静态类型检查与 HTML 字面量语法。

Caliban 是一个面向 Scala 的纯函数式 GraphQL 库，用于构建 GraphQL 服务端与客户端。它能帮开发者免去手动定义 Schema 的繁琐样板代码，利用 Scala 标准类型在编译期完成 Schema 定义与校验，并结合运行时解析器，提供兼顾纯函数式和高性能的 GraphQL 解决方案。

功能强大、交互丰富的浏览器端开源数据可视化与图表库。

现代 Go 语言交互式命令行工具开发库。

开源的稍后阅读完整解决方案，专为热爱阅读的人打造。

doobie 是 Typelevel 旗下面向 Scala 的纯函数式 JDBC 访问层。它主要解决 Scala 开发者在进行数据库交互时的函数式编程集成问题，通过提供纯函数式的方式封装 JDBC 操作，让数据库访问更加安全、类型可控且契合函数式编程规范。

生产级 Flutter 视频播放器，支持全平台、HLS/DASH、DRM、缓存和画中画等。

Python 学习操练场与速查手册，按主题分类并附带代码与解析。

遵循最佳实践、使用 Go 语言实现的算法与数据结构学习资源，适合初学者。

致力于让每个人都能高效进行视频创作的开源视频生成项目（Sora 复现）。

极速、现代且易上手的 HTTP/2 Go Web 框架，提供高开发效率与卓越性能。

适用于 Linux/macOS/UNIX 的无 Agent 安全审计与系统加固工具，支持合规检测。

帮助 Android App 进行组件化改造的路由框架。

面向 Swift 和 SwiftUI 的现代化容器依赖注入（DI）框架。

Obelisk 是一个开箱即用的 Haskell 全栈开发框架，基于 Reflex FRP 打造。它解决全栈技术选型与前后端类型割裂的问题，支持用单一 Haskell 代码库同时构建前后端，并通过强类型系统即时捕获接口变更错误。前端支持 WASM/GHCJS，配合 CapacitorJS 可打包为移动应用，后端支持部署到 NixOS 或 OCI 容器。

专为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件。