OCaml
FFTW – 離散フーリエ変換を高速に行う高速フーリエ変換のライブラリ。C言語のコードを出力するgenfft という OCaml プログラムが使われている。
Unison – 二つのディレクトリのファイルを比較し同期をとるプログラム。
Mldonkey – EDonkey network 用の P2P クライアント。
GeneWeb – マルチプラットフォームの、フリーの家系図ソフトウェア。
Haxe – オープンソースのプログラミング言語およびコンパイラ実装。
Frama-c – C言語のプログラムを解析するためのフレームワーク。
Coq - INRIAで開発されている定理支援証明系言語。
Flow - JavaScriptの静的型チェッカー。Facebookにより開発されている。
fbinfer - Java、C言語、C++、Objective-C 向けの静的解析チェッカー。Facebookがオープンソース化した。
Tezos - 自己進化型のスマート・コントラクト プラットフォーム。XTZ を仮想通貨とする。
■カテゴリ / ■テンプレート
OCaml([oʊˈkæməl] oh-KAM-əl、オーキャムル、オーキャメル)は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。MLの各要素に加え、オブジェクト指向的要素の追加が特長である。かつては Objective Caml という名前で、その略として OCaml と広く呼ばれていたが、正式に OCaml に改名された。