搜索结果：language（24 个）
按分类缩小范围
DocsGPT
综合 81
面向 Agent、助手与企业搜索的私有 AI 平台，支持多模型、文档分析及深度研究。
Resume-Matcher
综合 76
支持 100+ 种 LLM 本地运行的 AI 简历与求职信制作及匹配工具。
Scrapegraph-ai
综合 74
基于 AI 的 Python 爬虫工具。
PaddleOCR （飞桨多语言OCR工具库）
综合 72
轻量且功能强大的 OCR 工具包，将 PDF 和图片文档转换为供 LLM 使用的结构化数据，支持超 100 种语言。
shell_gpt
综合 70
由 AI 大语言模型驱动的命令行效率工具，助你在终端中更快完成日常运维与开发任务。
unilm
综合 69
微软开源的大规模自监督预训练研究项目，跨越多种任务、语言和模态。
ai-agent-book
综合 66
《深入理解 AI Agent：设计原理与工程实践》开源主仓库，包含全书正文、编译版 PDF 与配套代码。
Zettlr
综合 63
面向学术研究与写作的一站式发布工作台。
zio-quill
综合 60
ZIO Quill 是专为 Scala 打造的编译期语言集成查询（LINQ）库。它解决手写 SQL 繁琐、易出错且有运行时损耗的问题。通过引用 DSL（QDSL）与简单样例类映射数据库，能在编译期直接生成 SQL/CQL 并校验合法性，兼具类型安全与接近原生驱动的高性能。
agda
综合 60
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。
scala-js
综合 60
Scala.js 是一个将 Scala 语言编译为 JavaScript 的编译器。它旨在让开发者能够直接使用类型安全且功能强大的 Scala 语言编写前端或全栈应用，并将其转换为标准的 JavaScript 代码，从而在浏览器或 Node.js 环境中流畅运行。
zotero-pdf-translate
综合 59
Zotero 翻译插件，支持 PDF、EPub 等内容，集成 20 多种翻译服务。
metals
综合 59
Metals 是一个基于语言服务器协议（LSP）构建的 Scala 语言服务器。它旨在为各大代码编辑器提供丰富的 IDE 级功能支持，作为 IntelliJ IDEA 等传统 IDE 的轻量级替代方案，帮助 Scala 开发者在日常编码中获得更好的开发体验。
专为学术研究优化的 LLM 交互工具，支持论文精读润色与代码分析，兼容多种大模型。
plutus
综合 58
Plutus 是 Cardano 区块链底层的智能合约语言与开发平台。它主要用于在 Cardano 上构建去中心化应用，核心包含嵌入在账本中的脚本语言 Plutus Core 的实现与形式化规范，以及将 Haskell 代码编译为 Plutus Core 的编译器 Plutus Tx。
purescript
综合 58
PureScript 是一种灵感源自 Haskell 并用 Haskell 编写的强类型编程语言。它主要解决 JavaScript 弱类型带来的开发隐患，核心功能是提供富有表现力的静态类型系统，并能直接编译成 JavaScript 代码运行。
NeoHaskell
综合 57
NeoHaskell 是一种面向新手友好与开发效率的 Haskell 方言及应用框架。它旨在降低 Haskell 的上手门槛与偶发复杂度，核心功能包括保留强类型安全、提供清晰明确的 API，以及为事件溯源应用提供基础设施、可复用库和开发工具。
gensim
综合 57
面向开发者的 Python 主题建模与文本分析库。
scala-native
综合 56
〔中文简介暂未生成〕 Your favorite language gets closer to bare metal.
cryptol
综合 55
Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器，用 Haskell 编写。它解决了密码学规范难以验证与执行的问题，具备完全可执行性；支持通过随机向量测试算法，并能调用 Z3 等 SMT 求解器进行形式化证明，确保算法的正确性。