用 OCaml 编写的库

flow

向 JavaScript 添加静态类型，以提高开发人员的工作效率和代码质量。
  • 22.0k
  • MIT

infer

适用于 Java、C、C++ 和 Objective-C 的静态分析器。
  • 14.2k
  • MIT

reason

利用 JavaScript 和 OCaml 生态系统的简单、快速且类型安全的代码。
  • 9.9k
  • MIT

semgrep

适用于多种语言的轻量级静态分析。查找具有看起来像源代码的模式的错误变体。
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

python 的高性能类型检查..
  • 6.4k
  • MIT

rescript-compiler

ReScript 的编译器..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

Google Drive 上的 FUSE 文件系统。
  • 5.1k
  • MIT

ocaml

核心 OCaml 系统：编译器、运行时系统、基础库。
  • 4.6k
  • GNU General Public License v3.0

coq

Coq 是一个正式的证明管理系统。它提供了一种编写数学定义、可执行算法和定理的形式语言，以及用于机器检查证明的半交互式开发的环境。
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

一种编译为 Bash 和 Windows Batch 的语言。
  • 4.2k

magic-trace

magic-trace 收集并显示进程正在执行的操作的高分辨率跟踪。
  • 4.1k
  • MIT

unison

Unison 文件同步器（由 bcpierce00 提供）。
  • 3.1k
  • GNU General Public License v3.0 only

pfff

用于代码分析、可视化或保留样式的源转换的工具。
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS 是构建 unikernels 的库操作系统。
  • 2.2k
  • ISC

comby

用于结构搜索和替换的代码重写工具，支持每种语言。
  • 2.1k
  • Apache License 2.0

bap

二进制分析平台。
  • 1.9k
  • MIT

mina

Mina 是一种具有恒定大小区块链的新型加密货币，在保持去中心化和安全性的同时提高了扩展性。 （由米娜协议）。
  • 1.8k
  • Apache License 2.0

bincat

二进制代码静态分析器，与 IDA 集成。执行值和污点分析、类型重建、释放后使用和双重释放检测。
  • 1.5k

merlin

Vim 和 Emacs 中 OCaml 的上下文敏感完成。
  • 1.5k
  • MIT

dune

OCaml 的可组合构建系统..
  • 1.4k
  • MIT

plzoo

编程语言动物园。
  • 1.3k
  • MIT

dream

整洁、功能齐全的 Web 框架。
  • 1.2k
  • MIT

opam

opam 是一个基于源代码的包管理器。它支持多个同时编译器安装、灵活的包约束和 Git 友好的开发工作流程。
  • 1.1k
  • GNU General Public License v3.0

book

Real World OCaml 的 V2（由 realworldocaml 提供）。
  • 1.1k
  • GNU General Public License v3.0

owl

Owl - OCaml 科学计算 @ http://ocaml.xyz。
  • 1.1k
  • MIT

SATySFi

静态类型的功能排版系统。
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

用于在应用程序中嵌入 VPN 功能的工具包。
  • 1.0k
  • Apache License 2.0

catala

编程语言用于读写编程法则规范。
  • 995
  • Apache License 2.0

caramel

:candy：一种用于构建类型安全、可扩展和可维护应用程序的函数式语言。
  • 995
  • Apache License 2.0

js_of_ocaml

从 OCaml 到 Javascript 的编译器..
  • 853
  • GNU General Public License v3.0