GitHub 2026-11-06 趋势

🔎 用于发现代码安全问题的静态代码分析引擎

面向 Rust 程序的验证工具链

Liquidsoap 是一种静态类型的通用脚本语言，拥有专用于媒体处理、流媒体、文件生成、自动化、HTTP 后端等各类场景的运算符和后端。

核心 OCaml 系统：编译器、运行时系统和基础库

ReScript 是一种强大的类型语言，可以编译为高效且人类可读的 JavaScript。

A static analyzer for Java, C, C++, and Objective-C

Store the ATD/openapi/protobuf/... interfaces between semgrep components

Pure OCaml library for working with TIFF files

opam 是一款基于源码的包管理器，支持同时安装多个编译器、灵活的包约束以及适合 Git 的开发工作流。

可组合的OCaml构建系统

Mina 是一种具有恒定大小区块链的加密货币协议，在保持去中心化和安全性的同时提升可扩展性

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

magic-trace 能够采集并显示进程行为的高分辨率追踪数据