搜索结果：script（1446 个）

Joern 是一款开源代码分析与漏洞挖掘平台。它能将源码、字节码或二进制文件解析为“代码属性图（CPG）”，并存入图数据库中。开发者可以用基于 Scala 的专用查询语言搜索代码图结构，轻松完成跨语言的静态程序分析与漏洞排查。

一款全功能、开箱即用的 Linux 综合运维管理脚本。

Docker 官方一键安装脚本项目。

在 MSYS2 环境下为 MinGW-w64 目标构建软件的打包脚本仓库。

JavaScript 的类型化超集，可编译为规范干净的 JavaScript 代码。

基于 LLVM 的开源编译器，可将代码编译为 WebAssembly。

Google 开源的国际电话号码解析、格式化及验证库，支持 Java、C++ 和 JavaScript。

原生多模型数据库，支持文档、图和键值模型，提供类 SQL 查询语言与 JavaScript 扩展。

QuickJS Javascript 引擎的公开官方代码仓库。

Micro QuickJS JavaScript 引擎的公开仓库。

游戏《光·遇》（Sky: Children of the Light）的公开 Mod 脚本集合。

Perspec 是一款基于 Haskell 开发的桌面工具，用于矫正文档、白板、收据或建筑立面等照片的透视畸变。它能自动识别图像边角，也支持手动拖动微调或缩放，并支持脚本化操作与批量处理，一键导出校正后的平面图像。

用于在遥控器（TX）上配置 Betaflight 的脚本合集（目前仅支持 OpenTx）

面向 REAPER 数字音频工作站的 JSFX 音效与脚本集合包。

面向 Roblox 游戏开发的模块加载引擎，提供统一易用的服务端与客户端模块。

基于 C++20 和 Lua 开发的模块化 Tibia 替代客户端，支持通过 Lua 脚本灵活定制游戏界面与功能。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

Ergo 是一个基于 PoW 共识机制的加密货币协议及其 Scala 官方全节点实现。它在扩展 UTXO 模型下解决了传统区块链合约功能受限与状态膨胀问题，核心支持图灵完备的 ErgoScript 合约语言、抗 ASIC 的 Autolykos2 算法、无状态轻客户端以及用于防止垃圾状态的存储费机制。

社区维护的数字音频工作站 REAPER 脚本合集。

结合 SVG、Canvas 和 HTML 技术的数据可视化 JavaScript 库。