Simple Project List Software Map

12 projects in result set
Última Atualização: 2006-02-10 10:00

JavaScript Object Notation

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

Última Atualização: 2019-08-19 22:30

Archive of Formal Proofs

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

(Machine Translation)
Última Atualização: 2008-11-26 04:37

MathML Formula for Flash

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

(Machine Translation)
Desenvolvimento Estado: 3 - Alpha
Destinado Audiência: Developers
Linguagem de Programação: Standard ML
Interface de Usuário: Web Environment
Última Atualização: 2007-10-04 20:44

open geo coordinates database

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

(Machine Translation)
Desenvolvimento Estado: 5 - Production/Stable
Destinado Audiência: Developers
Linguagem Natural: German
Sistema Operacional: OS Independent
Linguagem de Programação: PL/SQL, Standard ML
Última Atualização: 2012-08-07 06:50

DRINKS Toolkit

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

(Machine Translation)
Última Atualização: 2011-01-15 03:11

phimatex

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

(Machine Translation)
Última Atualização: 2004-06-01 01:58

Particle Swarm (PSO) Toolbox

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

Última Atualização: 2019-08-20 10:20

HOL theorem-proving system

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

(Machine Translation)
Última Atualização: 2001-10-31 08:05

Standard ML of New Jersey

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

(Machine Translation)
Última Atualização: 2012-01-01 20:22

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

Desenvolvimento Estado: 5 - Production/Stable
Destinado Audiência: Developers
Linguagem Natural: English, Japanese
Sistema Operacional: MacOSX, Windows
Linguagem de Programação: JavaScript, Standard ML
Tópico: Frameworks
Interface de Usuário: Web Environment
Register Date: 2010-11-14 22:31
Última Atualização: 2012-01-01 20:25

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

マルチGadgetフレームワークです。
Desenvolvimento Estado: 5 - Production/Stable
Destinado Audiência: Developers
Linguagem Natural: English, Japanese
Sistema Operacional: MacOSX, Windows
Linguagem de Programação: JavaScript, Standard ML
Tópico: Frameworks
Interface de Usuário: Web Environment
Register Date: 2010-11-14 22:32