Software Map

各ガジェットプラットフォームでの拡張機能を
一元的にまとめたマルチGadgetライブラリです。

MLton はプログラム全体の最適化標準 ML コンパイラです。

このプロジェクトの目的は 2 つのモジュールのコンテンツは、ソフトウェアを生成するために： - 最初の 1 つは社会的行動のシミュレーションを実施できるように - 2 つ目は哲学的な考慮事項を生成することができます。私は、バージョンになります

HOL は高階論理の定理の証明システムです。それは様々 な既存の理論の数学と理論計算機科学のさまざまな部分をほのめかしたが付属しています。

「MathML 式フラッシュ」MathML に数式を表示するの実装であり、Adobe Flash アプリケーションで使用されるものです。Http://www.learn-math.info/mathml.do?action=formula から得ることができる情報をもっと見る

標準 ML 97 と関連付けられているライブラリやツールのネイティブ コード コンパイラ。

Opengeodb は現在の状態で主にドイツ語圏の地域の地理座標と他のいくつかのデータ （都市名、郵便番号） を提供します。

形式的な証明のアーカイブは証拠のライブラリ、例、およびより大きい科学の発展、Isabelle の定理証明における機械的にチェックのコレクションです。それは科学的な雑誌の方法で編成されます。サブミッションは査読有り。

ドリンク ツールキットのオンライン strumentation を実現するために、最初のリリースでは、焦点を当てて、web ベースのウィジェットのコレクションです。最良の方法で、データを表す、実用的かつ迅速のインタ フェースを提供しています。すべてのウィジェットは、HTML5 Canvas API を使用して、Javascript ベースの環境で drawed です。飲み物が生まれ、infact はプログラミングの知識なしのカスタム ダッシュ ボードを簡単に実現できるように、単に HTML タグを使用してまたはバーマン IDE をクリックしてに、アプリケーションの作成を使用して、web ページにあなたの楽器を使用することができます。ドリンク ツールキット (ハードウェアおよびソフトウェア) オープン ソース プロジェクトとしてリリースされます。