搜索结果：language（39 个）
按分类缩小范围
ida-pro-mcp
综合 78
基于 AI 的逆向工程助手，通过 MCP 将 IDA Pro 与大语言模型连接。
WrenAI
综合 76
面向智能体的开源生成式 BI，通过上下文层将自然语言转换为可信的 SQL 与可视化图表。
kestra
综合 73
开源工作流编排控制平台，支持数据与 AI Agent，采用声明式 YAML 与事件驱动。
RWKV-LM
综合 71
兼具出色 LLM 性能的 RNN 架构，支持像 Transformer 一样并行训练，融合二者优势。
awesome-cheatsheets
综合 70
涵盖主流编程语言、框架与开发工具的速查表合集，一页查阅核心知识点。
unilm
综合 69
微软开源的大规模自监督预训练研究项目，跨越多种任务、语言和模态。
centrifugo
综合 69
语言无关的可扩展实时消息服务器，可作为 Pubnub、Pusher、socket.io 等的自托管替代方案。
用 Rust 重建的类 IntelliJ IDEA 原生 IDE，保留经典快捷键与工具窗口，内置调试、Git 和终端等功能。
pyvideotrans
综合 66
将视频从一种语言翻译为另一种语言，并自动生成配音与字幕。
joern
综合 66
Joern 是一款开源代码分析与漏洞挖掘平台。它能将源码、字节码或二进制文件解析为“代码属性图（CPG）”，并存入图数据库中。开发者可以用基于 Scala 的专用查询语言搜索代码图结构，轻松完成跨语言的静态程序分析与漏洞排查。
antlr4
综合 65
强大的语法解析器生成工具，用于读取、处理、执行或翻译结构化文本与二进制文件。
fq
综合 63
面向二进制格式的 jq 工具，提供处理各类二进制数据的工具、语言与解码器
chisel
综合 61
Chisel 是一个嵌入在 Scala 语言中的现代开源硬件描述语言（HDL）。它解决了传统硬件设计复用难、抽象层次低的问题，允许开发者借助 Scala 编写高可参数化的电路生成器，并能生成可综合的 Verilog 代码，适用于 ASIC 和 FPGA 数字逻辑设计。
zio-quill
综合 60
ZIO Quill 是专为 Scala 打造的编译期语言集成查询（LINQ）库。它解决手写 SQL 繁琐、易出错且有运行时损耗的问题。通过引用 DSL（QDSL）与简单样例类映射数据库，能在编译期直接生成 SQL/CQL 并校验合法性，兼具类型安全与接近原生驱动的高性能。
zotero-pdf-translate
综合 59
Zotero 翻译插件，支持 PDF、EPub 等内容，集成 20 多种翻译服务。
Made-With-ML
综合 58
面向生产级 ML 应用的设计、开发与部署实战学习指南。
plutus
综合 58
Plutus 是 Cardano 区块链底层的智能合约语言与开发平台。它主要用于在 Cardano 上构建去中心化应用，核心包含嵌入在账本中的脚本语言 Plutus Core 的实现与形式化规范，以及将 Haskell 代码编译为 Plutus Core 的编译器 Plutus Tx。
professional-programming
综合 58
面向充满好奇心的软件工程师的学习资源合集。
unison
综合 57
Unison 是一门静态类型的现代函数式编程语言，主要解决传统开发中漫长的编译等待和繁琐的代码合并冲突问题。其核心是“内容寻址代码”机制，通过实现哈希而非名称来定位函数，并将 AST 存入数据库，从而实现近乎零等待的增量编译、测试结果完美缓存以及无冲突的语义级重命名。
专为初级开发者准备的计算机基础知识与技术面试指南百科。