Simple Project List 軟體列表

Standard ML
12 projects in result set
最後更新: 2019-08-19 22:30

Archive of Formal Proofs

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

(Machine Translation)
最後更新: 2006-02-10 10:00

JavaScript Object Notation

JSON(JavaScript Object Notation)は、シンプルかつ軽量なデータ交換フォーマットです。このプロジェクトは、さまざまな言語のJSONオブジェクトを扱うためのライブラリを提供しています。JSONの詳細については http://www.json.org/ をご覧ください。

最後更新: 2008-11-26 04:37

MathML Formula for Flash

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

(Machine Translation)
最後更新: 2007-10-04 20:44

open geo coordinates database

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

(Machine Translation)
Development Status: 5 - Production/Stable
目標受眾: Developers
自然語言: German
操作系統: OS Independent
程式語言: PL/SQL, Standard ML
最後更新: 2012-08-07 06:50

DRINKS Toolkit

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

(Machine Translation)
最後更新: 2011-01-15 03:11

phimatex

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

(Machine Translation)
最後更新: 2004-06-01 01:58

Particle Swarm (PSO) Toolbox

Particle Swarm Optimization ツールキット (GUI) - 工学/財務/管理システムの最適化のためのPSO アルゴリズムを実装することができます。

最後更新: 2019-08-20 10:20

HOL theorem-proving system

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

(Machine Translation)
最後更新: 2001-10-31 08:05

Standard ML of New Jersey

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

(Machine Translation)
最後更新: 2012-01-01 20:22

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

Development Status: 5 - Production/Stable
目標受眾: Developers
自然語言: English, Japanese
操作系統: MacOSX, Windows
程式語言: JavaScript, Standard ML
Topics: Frameworks
使用者介面: Web Environment
Register Date: 2010-11-14 22:31
最後更新: 2012-01-01 20:25

"aaoh.kaze"を利用してガジェットを作成するにための

マルチGadgetフレームワークです。
Development Status: 5 - Production/Stable
目標受眾: Developers
自然語言: English, Japanese
操作系統: MacOSX, Windows
程式語言: JavaScript, Standard ML
Topics: Frameworks
使用者介面: Web Environment
Register Date: 2010-11-14 22:32