搜索结果：pg（3 个）
按分类缩小范围
InsForge
综合 75
面向 Agent 编码的开源全栈后端平台，集成数据库、Auth、存储、计算与 AI 网关。
joern
综合 66
Joern 是一款开源代码分析与漏洞挖掘平台。它能将源码、字节码或二进制文件解析为“代码属性图（CPG）”，并存入图数据库中。开发者可以用基于 Scala 的专用查询语言搜索代码图结构，轻松完成跨语言的静态程序分析与漏洞排查。
futhark
综合 60
Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。