OCaml

多くの言語に対応した軽量な静的解析。ソースコードのようなパターンを持つバグバリアントを検出。

Java、C、C++、Objective-C用の静的解析ツール。

JavaScriptおよびOCamlのエコシステムを活用した、シンプルで高速かつ型安全なコード

コアとなるOCamlシステム：コンパイラ、ランタイムシステム、基本ライブラリ

magic-traceは、プロセスが実行している動作を高解像度で収集・表示します。

Google Drive上のFUSEファイルシステム。

Rocq Proverは対話型定理証明器（証明支援ツール）。数学的定義、実行可能アルゴリズム、定理を記述するための形式言語と、機械検証された証明の半対話的開発環境を提供する。

Unisonファイル同期ツール

🔎 コード内のセキュリティ問題を検出する静的コード解析エンジン。

MirageOS は、ユニカーネルを構築するライブラリオペレーティングシステム

ほぼすべての言語をサポートする、構造化検索および置換のためのコード書き換えツール。

NUFT が管理し、誰でも利用できる公開クオンツインターンシップリポジトリ

リテレートプログラミングの仕様記述のためのプログラミング言語

バイナリ解析プラットフォーム

Minaはブロックチェーンサイズが一定の暗号資産プロトコルであり、分散性とセキュリティを維持しながらスケーリングを改善します。

Irmin は、Git と同じ設計原則に従う分散データベースです。

OCaml用の構成可能なビルドシステム

整理された機能豊富な Web フレームワーク

IDA 統合を備えたバイナリコード静的解析ツール。値および汚染解析、型再構築、Use-After-Free および Double-Free の検出を実行します

Liquidsoap は、メディア、ストリーミング、ファイル生成、自動化、HTTP バックエンドなど、あらゆるメディア関連の処理に特化した演算子とバックエンドを備えた、静的型付けスクリプト汎用言語です。

VimおよびEmacsにおけるOCamlのコンテキスト依存型補完。

プログラミング言語の動物園

線形型とケーパビリティベースのセキュリティを備えたシステム言語。

インクリメンタル計算のためのライブラリ

Js_of_ocaml を使用して動的なウェブアプリを構築するためのライブラリ

opam はソースベースのパッケージマネージャーです。複数のコンパイラの同時インストール、柔軟なパッケージ制約、Git フレンドリーな開発ワークフローをサポートします。

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Jane Street Capital の標準ライブラリオーバーレイ

ステートファイルのボトルネックがない Terraform

Real World OCaml のバージョン 2