オープンソース

弊社社員が作成したオープンソースプログラムをご紹介します。

Coq2Scala : CoqプログラムのScala抽出

Coq2ScalaはCoqで定義されたアルゴリズムをScalaと連携しJVM上で高速に動作させることを可能にする、Extraction拡張です。

PEC : OCamlのための第一級イベントライブラリ

PEC(Push-based Event Combinator)はOCamlのための第一級イベントライブラリです。イベントを第一級の変数として扱い合成することを可能としており、イベントドリブンプログラムの作成に力を発揮します。

ocamltter : OCamlで作られたツイッタークライアント

OCamlで作成されたツイッタークライアントです。 Toplevel上で動作させることを想定して作られており、TLやつぶやきのカスタマイズがプログラマブルな事が特徴です。

O'Caml on Android : メモリ安全/型安全なAndroidネイティブ開発

弊社社員が、OCaml の Android 向けクロスコンパイラ化パッチO'Caml on Android を開発しています。速度が要求されるAndroidのネイティブアプリケーションの開発において、OCamlの安全性の恩恵が得られます。(参考リンク)

Androidアプリ OCaml Toplevel on Android が公開されました。Android 上で OCamlのインタープリタを試すことができる試験的なアプリケーションで,Android Market よりダウンロードできます。