搜索结果:c(417 个)
按分类缩小范围
ReactiveMongo
综合 56
〔中文简介暂未生成〕 :leaves: Non-blocking, Reactive MongoDB Driver for Scala
rnote
综合 56
一款轻量易用的手写笔记与矢量草图绘制工具。
gollum
综合 56
基于 Git 的轻量级 Wiki 系统,提供本地前端界面,支持多种标记语言和内容格式。
scala-native
综合 56
〔中文简介暂未生成〕 Your favorite language gets closer to bare metal.
riscv-boom
综合 56
〔中文简介暂未生成〕 SonicBOOM: The Berkeley Out-of-Order Machine
agents
综合 56
一次编写多端适配的 Agent 技能库,支持 Claude Code、Cursor 等工具。
WeKnora
综合 56
开源 LLM 知识平台,可将文档转化为可检索的 RAG、推理 Agent 与 Wiki。
localGPT
综合 56
在本地利用 GPT 模型与私有文档对话的工具,数据完全不出本机,保障 100% 隐私安全。
grid
综合 56
Grid 是卫报(The Guardian)开源的图像管理系统,旨在解决媒体资产的高效组织、快速检索与低成本使用问题。核心功能包括:基于 Elasticsearch 提供极速图片搜索、通过 Web 界面统一管理图片,并以微服务架构提供超媒体 API,支持接入 AWS 进行存储与通信。
XiangShan
综合 56
香山(XiangShan)是一个基于 Chisel/Scala 的开源高性能 RISC-V 处理器项目。它通过敏捷开发方法,致力于解决高性能开源 RISC-V 芯片设计难题,提供包括昆明湖架构在内的微结构实现,并配套设计、功能验证与性能评估等全套工具流程。
zerox
综合 56
基于视觉模型的 OCR 与文档内容提取工具。
lantern
综合 56
开源 VPN 工具,注重速度、隐私保护与网络畅通,支持全主流桌面与移动平台。
Loop
综合 55
让桌面窗口管理变得优雅的工具。
kkFileView
综合 55
基于 Spring Boot 构建的通用文档/文件在线预览项目。
dompdf
综合 55
面向 PHP 的 HTML 转 PDF 生成工具。
cabal
综合 55
〔中文简介暂未生成〕 Official upstream development repository for Cabal and cabal-install
cheat
综合 55
支持在命令行创建和查看交互式备忘录(cheatsheet)的工具,方便速查常用系统命令选项。
ReLaXed
综合 55
使用 Web 技术创建 PDF 文档的工具。
markdown-here
综合 55
适用于 Chrome、Firefox 和 Thunderbird 的扩展,支持用 Markdown 编写并在发送前渲染邮件。
cryptol
综合 55
Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器,用 Haskell 编写。它解决了密码学规范难以验证与执行的问题,具备完全可执行性;支持通过随机向量测试算法,并能调用 Z3 等 SMT 求解器进行形式化证明,确保算法的正确性。