搜索结果：language（86 个）
按分类缩小范围
PentestGPT
综合 64
基于大语言模型构建的自动化渗透测试智能体框架。
fq
综合 63
面向二进制格式的 jq 工具，提供处理各类二进制数据的工具、语言与解码器
daml
综合 63
Daml 是一门针对分布式账本（区块链）的智能合约开发语言。它主要解决多方协作中的隐私保护和业务逻辑编写难题，核心功能包括基于“隐私设计”的权限控制、跨账本的工作流自动化，并提供完整的 SDK 工具链供开发者编写与运行智能合约。
theia
综合 63
基于 TypeScript 实现的现代化云端与桌面端跨平台 IDE 开发框架。
ant-design （蚂蚁设计）
综合 62
企业级 UI 设计语言和 React 组件库。
RustPython
综合 62
使用 Rust 语言编写的开源 Python 解释器。
claude-code （终端智能编程助手）
综合 62
终端里的 Agentic 编程工具，能理解代码库、执行日常任务、解释复杂代码并处理 Git 工作流。
julia
综合 62
Julia 是专为技术计算打造的高级、高性能动态编程语言。它旨在解决科学计算和数值分析中兼顾易用性与极致运行速度的需求，提供交互式命令行（REPL）及丰富的包生态，广泛应用于高性能计算、机器学习与科学研究等领域。
tabby
综合 62
支持自托管的 AI 代码辅助工具。
gleam
综合 62
一门用于构建类型安全、高可扩展性系统的友好函数式编程语言。
crawlab
综合 61
分布式爬虫管理平台，支持任意编程语言和爬虫框架，便于集中管理与调度任务。
chisel
综合 61
Chisel 是一个嵌入在 Scala 语言中的现代开源硬件描述语言（HDL）。它解决了传统硬件设计复用难、抽象层次低的问题，允许开发者借助 Scala 编写高可参数化的电路生成器，并能生成可综合的 Verilog 代码，适用于 ASIC 和 FPGA 数字逻辑设计。
v
综合 61
简单、快速且安全的编译型语言，零依赖自编译小于 1 秒，支持将 C 自动转为 V。
slim
综合 61
无需修改容器镜像，即可将其体积缩小高达 30 倍并提升安全性（开源免费）。
slint
综合 60
开源声明式 GUI 工具包，支持为 Rust、C++、JavaScript 或 Python 应用构建原生界面。
Ciphey
综合 60
全自动解密工具，无需预先知道密钥或算法类型即可自动破解加密、编码和哈希。
futhark
综合 60
Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。
zio-quill
综合 60
〔中文简介暂未生成〕 Compile-time Language Integrated Queries for Scala
agda
综合 60
〔中文简介暂未生成〕 Agda is a dependently typed programming language / interactive theorem prover.
scala-js
综合 60
〔中文简介暂未生成〕 Scala.js, the Scala to JavaScript compiler