Liste des projets simples Logiciel Télécharger Carte

12 projects in result set
Dernière Mise à Jour: 2006-02-10 10:00

JavaScript Object Notation

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

Dernière Mise à Jour: 2019-08-19 22:30

Archive of Formal Proofs

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

(Traduction automatique)
Dernière Mise à Jour: 2008-11-26 04:37

MathML Formula for Flash

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

(Traduction automatique)
Statut de développement: 3 - Alpha
Utilisateurs cibles: Développeurs
Langage de programmation: Standard ML
Interface utilisateur: Web Environment
Dernière Mise à Jour: 2007-10-04 20:44

open geo coordinates database

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

(Traduction automatique)
Statut de développement: 5 - Production / écurie
Utilisateurs cibles: Développeurs
Langage naturel: German
Système d'exploitation: OS Independent
Langage de programmation: PL/SQL, Standard ML
Dernière Mise à Jour: 2012-08-07 06:50

DRINKS Toolkit

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

(Traduction automatique)
Dernière Mise à Jour: 2011-01-15 03:11

phimatex

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

(Traduction automatique)
Dernière Mise à Jour: 2004-06-01 01:58

Particle Swarm (PSO) Toolbox

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

Dernière Mise à Jour: 2019-08-20 10:20

HOL theorem-proving system

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

(Traduction automatique)
Dernière Mise à Jour: 2001-10-31 08:05

Standard ML of New Jersey

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

(Traduction automatique)
Dernière Mise à Jour: 2012-01-01 20:22

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

Statut de développement: 5 - Production / écurie
Utilisateurs cibles: Développeurs
Langage naturel: English, Japanese
Système d'exploitation: MacOSX, Windows
Langage de programmation: JavaScript, Standard ML
Sujet: Frameworks
Interface utilisateur: Web Environment
Register Date: 2010-11-14 22:31
Dernière Mise à Jour: 2012-01-01 20:25

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

マルチGadgetフレームワークです。
Statut de développement: 5 - Production / écurie
Utilisateurs cibles: Développeurs
Langage naturel: English, Japanese
Système d'exploitation: MacOSX, Windows
Langage de programmation: JavaScript, Standard ML
Sujet: Frameworks
Interface utilisateur: Web Environment
Register Date: 2010-11-14 22:32