OCaml 热门项目

semgrep /

semgrep

#4

轻量级多语言静态分析工具。通过类源代码模式发现错误变体。

opengrep /

opengrep

#5

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

janestreet /

bonsai

#1

一个用于构建动态Web应用的库，基于Js_of_ocaml

bcpierce00 /

unison

#6

Unison 文件同步工具

ocaml /

ocaml

#3

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

janestreet /

magic-trace

#2

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

janestreet /

bonsai

#1

一个用于构建动态Web应用的库，基于Js_of_ocaml

semgrep /

semgrep

#5

轻量级多语言静态分析工具。通过类源代码模式发现错误变体。

janestreet /

magic-trace

#6

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

opengrep /

opengrep

#3

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

facebook /

infer

#7

面向 Java、C、C++ 和 Objective-C 的静态分析器

AeneasVerif /

aeneas

#4

面向 Rust 程序的验证工具链

bcpierce00 /

unison

#2

Unison 文件同步工具

opengrep /

opengrep

#2

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

janestreet /

magic-trace

#5

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

ocaml /

ocaml

#4

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

facebook /

infer

#3

面向 Java、C、C++ 和 Objective-C 的静态分析器

rocq-prover /

rocq

#1

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

semgrep /

semgrep

#1

轻量级多语言静态分析工具。通过类源代码模式发现错误变体。

opengrep /

opengrep

#3

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

facebook /

infer

#5

面向 Java、C、C++ 和 Objective-C 的静态分析器

ocaml /

ocaml

#2

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

AeneasVerif /

aeneas

#4

面向 Rust 程序的验证工具链

semgrep /

semgrep

#4

轻量级多语言静态分析工具。通过类源代码模式发现错误变体。

opengrep /

opengrep

#6

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

AeneasVerif /

aeneas

#2

面向 Rust 程序的验证工具链

ocaml /

ocaml

#5

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

bcpierce00 /

unison

#3

Unison 文件同步工具

MinaProtocol /

mina

#1

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

bcpierce00 /

unison

#3

Unison 文件同步工具

AeneasVerif /

aeneas

#2

面向 Rust 程序的验证工具链

ocaml /

ocaml

#1

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

semgrep /

semgrep

#1

轻量级多语言静态分析工具。通过类源代码模式发现错误变体。

ocaml /

ocaml

#2

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