OCaml で書かれたソフトウェア
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/07 20:45 UTC 版)
「OCaml」の記事における「OCaml で書かれたソフトウェア」の解説
FFTW – 離散フーリエ変換を高速に行う高速フーリエ変換のライブラリ。C言語のコードを出力するgenfft という OCaml プログラムが使われている。 Unison – 二つのディレクトリのファイルを比較し同期をとるプログラム。 Mldonkey – EDonkey network 用の P2P クライアント。 GeneWeb – マルチプラットフォームの、フリーの家系図ソフトウェア。 Haxe – オープンソースのプログラミング言語およびコンパイラ実装。 Frama-c – C言語のプログラムを解析するためのフレームワーク。 Coq - INRIAで開発されている定理支援証明系言語。 Flow - JavaScriptの静的型チェッカー。Facebookにより開発されている。 Tezos - 自己進化型のスマート・コントラクト プラットフォーム。XTZ を仮想通貨とする。
※この「OCaml で書かれたソフトウェア」の解説は、「OCaml」の解説の一部です。
「OCaml で書かれたソフトウェア」を含む「OCaml」の記事については、「OCaml」の概要を参照ください。
ウィキペディア小見出し辞書の「OCaml で書かれたソフトウェア」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- OCaml で書かれたソフトウェアのページへのリンク
