OCaml 热门项目

semgrep /

semgrep

#1

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

panglesd /

slipshow

#3

一款用于展示slips的引擎，这是slides的下一代版本

gwaithimirdain /

narya

#6

一个面向高维类型理论的证明辅助工具

ocaml /

ocaml

#8

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

opengrep /

opengrep

#4

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

facebook /

infer

#2

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

mjambon /

testo

#9

OCaml测试框架

oxcaml /

oxcaml

#7

OCaml - 氧化增强版！

semgrep /

ocaml-tree-sitter-core

#5

用于处理类型化树状语法分析器CST的OCaml代码生成器及运行时库

semgrep /

semgrep

#1

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

panglesd /

slipshow

#3

一款用于展示slips的引擎，这是slides的下一代版本

opengrep /

opengrep

#2

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

ocaml /

ocaml

#9

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

AeneasVerif /

aeneas

#5

面向 Rust 程序的验证工具链

bcpierce00 /

unison

#11

Unison 文件同步工具

rocq-prover /

rocq

#8

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

MinaProtocol /

mina

#12

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

mjambon /

testo

#10

OCaml测试框架

semgrep /

ocaml-tree-sitter-core

#7

用于处理类型化树状语法分析器CST的OCaml代码生成器及运行时库

ocaml /

opam

#6

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

ocaml /

dune

#4

可组合的OCaml构建系统

semgrep /

semgrep

#1

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

opengrep /

opengrep

#2

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

ocaml /

ocaml

#8

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

janestreet /

bonsai

#3

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

rocq-prover /

rocq

#4

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

semgrep /

ocaml-tree-sitter-core

#7

用于处理类型化树状语法分析器CST的OCaml代码生成器及运行时库

MinaProtocol /

mina

#6

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

ocaml /

dune

#5

可组合的OCaml构建系统

semgrep /

semgrep

#1

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

ocaml /

ocaml

#6

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

bcpierce00 /

unison

#5

Unison 文件同步工具

mjambon /

testo

#7

OCaml测试框架

semgrep /

ocaml-tree-sitter-core

#4

用于处理类型化树状语法分析器CST的OCaml代码生成器及运行时库

rocq-prover /

rocq

#3

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

MinaProtocol /

mina

#2

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

semgrep /

semgrep

#1

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

ocaml /

ocaml

#7

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

opengrep /

opengrep

#3

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

savonet /

liquidsoap

#6

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

ocaml /

opam

#9

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

ocaml /

dune

#8

可组合的OCaml构建系统

mjambon /

testo

#5

OCaml测试框架

semgrep /

ocaml-tree-sitter-core

#4

用于处理类型化树状语法分析器CST的OCaml代码生成器及运行时库

MinaProtocol /

mina

#2

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

rocq-prover /

rocq

#9

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

AeneasVerif /

aeneas

#7

面向 Rust 程序的验证工具链

bcpierce00 /

unison

#10

Unison 文件同步工具

ocaml /

opam

#8

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

ocaml /

merlin

#6

面向Vim和Emacs的OCaml上下文敏感补全

semgrep /

ocaml-tree-sitter-core

#5

用于处理类型化树状语法分析器CST的OCaml代码生成器及运行时库

mjambon /

testo

#4

OCaml测试框架

MLstate /

opalang

#3

用于Web应用程序开发的Opa语言

ocaml /

ocaml

#2

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

ocaml /

dune

#1

可组合的OCaml构建系统

semgrep /

semgrep

#3

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

ocaml /

ocaml

#2

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

rocq-prover /

rocq

#4

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

oxcaml /

oxcaml

#5

OCaml - 氧化增强版！

MLstate /

opalang

#1

用于Web应用程序开发的Opa语言

AeneasVerif /

aeneas

#10

面向 Rust 程序的验证工具链

MinaProtocol /

mina

#9

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

semgrep /

ocaml-tree-sitter-core

#8

用于处理类型化树状语法分析器CST的OCaml代码生成器及运行时库

mjambon /

testo

#7

OCaml测试框架

ocaml /

dune

#6

可组合的OCaml构建系统