搜索结果:r(1767 个)
按分类缩小范围
Ciphey
综合 60
全自动解密工具,无需预先知道密钥或算法类型即可自动破解加密、编码和哈希。
fx
综合 60
终端里的交互式 JSON 查看与处理工具。
onefetch
综合 60
用于在终端展示 Git 仓库概览信息的命令行工具。
summernote
综合 60
超级轻量、简单易用的所见即所得(WYSIWYG)富文本编辑器。
plezy
综合 60
基于 Flutter 开发的现代化跨平台媒体服务器客户端。
futhark
综合 60
Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言,属于 ML 语言家族。它主要解决高性能并行计算的编写难题,核心功能是将函数式代码编译为可在 CPU 或 GPU(支持 CUDA、OpenCL)上运行的高效并行程序,适用于实用级高性能计算场景。
wartremover
综合 60
WartRemover 是一款灵活的 Scala 代码静态检查(Linting)工具。它主要作为编译器插件使用,基于宏(macros)等技术,帮助开发者在编译阶段排查并规范代码中的不良写法或潜在问题,提升 Scala 代码的质量与安全性。
gin (高性能 Go Web 框架)
综合 60
基于 Go 开发的高性能 HTTP Web 框架,提供类似 Martini 的 API,性能表现优异。
obsidian-skills
综合 60
面向 Obsidian 的 Agent 技能库,让 Agent 支持 Obsidian CLI 以及 Markdown、JSON Canvas 等开放格式。
million
综合 60
面向 React 的性能优化编译器。
HunyuanVideo
综合 60
混元视频:腾讯开源的系统化大规模视频生成模型框架。
jsoneditor
综合 60
基于 Web 的 JSON 查看、编辑、格式化与校验工具。
zio-quill
综合 60
ZIO Quill 是专为 Scala 打造的编译期语言集成查询(LINQ)库。它解决手写 SQL 繁琐、易出错且有运行时损耗的问题。通过引用 DSL(QDSL)与简单样例类映射数据库,能在编译期直接生成 SQL/CQL 并校验合法性,兼具类型安全与接近原生驱动的高性能。
sangria
综合 60
Sangria 是一个用 Scala 编写的 GraphQL 库,帮助开发者在 Scala 项目中快速构建符合规范的 GraphQL API。它支持定义 Schema、解析并执行查询,以及配合 circe 等库进行 JSON 序列化,可与 Apollo、Relay、GraphiQL 等工具开箱即用。
涵盖 Python、React、Git、Java 等多领域的 LinkedIn 技能评估测验参考答案合集。
BPB-Worker-Panel
综合 60
VLESS/Trojan/Warp Worker 订阅 GUI 面板,含私有 DoH、链式代理与 DNS 路由配置。
obsidian-git
综合 60
为 Obsidian 集成 Git 版本控制,支持自动提交与同步等高级功能。
tsdx
综合 60
用于 TypeScript 库开发的零配置 CLI 工具,开箱即用。
AndroidLiquidGlass
综合 60
〔中文简介暂未生成〕 Compose Multiplatform Liquid Glass effect
agda
综合 60
Agda 是一个基于依值类型(Dependent Types)的编程语言兼交互式定理证明器,使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证,支持开发者编写严谨的程序代码,并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。