搜索结果：language（242 个）
按分类缩小范围
chisel
综合 61
Chisel 是一个嵌入在 Scala 语言中的现代开源硬件描述语言（HDL）。它解决了传统硬件设计复用难、抽象层次低的问题，允许开发者借助 Scala 编写高可参数化的电路生成器，并能生成可综合的 Verilog 代码，适用于 ASIC 和 FPGA 数字逻辑设计。
open_clip
综合 61
CLIP 的开源实现。
linguist
综合 61
GitHub 官方编程语言检测工具。若仓库语言识别有误，可在此提交 PR。
v
综合 61
简单、快速且安全的编译型语言，零依赖自编译小于 1 秒，支持将 C 自动转为 V。
slim
综合 61
无需修改容器镜像，即可将其体积缩小高达 30 倍并提升安全性（开源免费）。
PaddleFormers
综合 61
基于 PaddlePaddle 构建的易用预训练大语言模型库。
CopyTranslator
综合 60
基于“复制即翻译”理念的外语阅读与即时翻译辅助工具。
slint
综合 60
开源声明式 GUI 工具包，支持为 Rust、C++、JavaScript 或 Python 应用构建原生界面。
tesseract.js
综合 60
纯 JavaScript 实现的 OCR 库，支持超过 100 种语言。
Ciphey
综合 60
全自动解密工具，无需预先知道密钥或算法类型即可自动破解加密、编码和哈希。
luarocks
综合 60
Lua 编程语言的官方包管理器。
futhark
综合 60
Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。
zio-quill
综合 60
ZIO Quill 是专为 Scala 打造的编译期语言集成查询（LINQ）库。它解决手写 SQL 繁琐、易出错且有运行时损耗的问题。通过引用 DSL（QDSL）与简单样例类映射数据库，能在编译期直接生成 SQL/CQL 并校验合法性，兼具类型安全与接近原生驱动的高性能。
agda
综合 60
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。
leetcode
综合 60
多语言实现的 LeetCode、《剑指 Offer》及《程序员面试金典》题解汇总。
liquid
综合 60
Shopify 出品的开源模板语言，安全灵活，专为 Web 应用设计。
scala-js
综合 60
Scala.js 是一个将 Scala 语言编译为 JavaScript 的编译器。它旨在让开发者能够直接使用类型安全且功能强大的 Scala 语言编写前端或全栈应用，并将其转换为标准的 JavaScript 代码，从而在浏览器或 Node.js 环境中流畅运行。
CoreNLP
综合 60
Java 核心 NLP 工具套件，支持分词、断句、NER、句法分析、指代消解及情感分析等。
d2
综合 59
现代文本绘图脚本语言，可直接将代码文本转换为直观架构图。
metals
综合 59
Metals 是一个基于语言服务器协议（LSP）构建的 Scala 语言服务器。它旨在为各大代码编辑器提供丰富的 IDE 级功能支持，作为 IntelliJ IDEA 等传统 IDE 的轻量级替代方案，帮助 Scala 开发者在日常编码中获得更好的开发体验。