プロジェクトシンプルリスト ソフトウェアダウンロードマップ

12 件のプロジェクトが条件に合致します
最終更新日: 2018-02-07 20:08

MLton

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

(機械翻訳)
最終更新日: 2006-02-10 10:00

JavaScript Object Notation

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

最終更新日: 2018-10-02 20:47

Archive of Formal Proofs

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

(機械翻訳)
最終更新日: 2008-11-26 04:37

MathML Formula for Flash

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

(機械翻訳)
開発状況: 3 - アルファ
対象ユーザ: 開発者
ライセンス: Academic Free License (AFL)
プログラミング言語: 標準ML
ユーザインタフェース: Web環境
最終更新日: 2007-10-04 20:44

open geo coordinates database

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

(機械翻訳)
対象ユーザ: 開発者
主要対話語: ドイツ語
オペレーティングシステム: OS非依存
プログラミング言語: PL/SQL, 標準ML
最終更新日: 2012-08-07 06:50

DRINKS Toolkit

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

(機械翻訳)
最終更新日: 2011-01-15 03:11

phimatex

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

(機械翻訳)
最終更新日: 2004-06-01 01:58

Particle Swarm (PSO) Toolbox

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

開発状況: 3 - アルファ
主要対話語: 英語
オペレーティングシステム: OS非依存
プログラミング言語: C, Euler, Java, 標準ML
最終更新日: 2018-06-20 09:32

HOL theorem-proving system

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

(機械翻訳)
開発状況: 6 - 成熟
主要対話語: 英語
オペレーティングシステム: POSIX (Linux,BSD,Solaris など), Windows NT/2000, Windows XP, Windows XP
プログラミング言語: 標準ML
ユーザインタフェース: Console/Terminal
最終更新日: 2001-10-31 08:05

Standard ML of New Jersey

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

(機械翻訳)
最終更新日: 2012-01-01 20:22

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

対象ユーザ: 開発者
ライセンス: MIT/X Consortium License
主要対話語: 英語, 日本語
オペレーティングシステム: MacOSX, Windows
プログラミング言語: JavaScript, 標準ML
トピック: フレームワーク
ユーザインタフェース: Web環境
登録日: 2010-11-14 22:31
最終更新日: 2012-01-01 20:25

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

マルチGadgetフレームワークです。
対象ユーザ: 開発者
ライセンス: MIT/X Consortium License
主要対話語: 英語, 日本語
オペレーティングシステム: MacOSX, Windows
プログラミング言語: JavaScript, 標準ML
トピック: フレームワーク
ユーザインタフェース: Web環境
登録日: 2010-11-14 22:32