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

OCaml (Objective Caml)
96 件のプロジェクトが条件に合致します
最終更新日: 2014-05-13 13:08

Link Grammar Parser

リンク文法パーサー (リンク文法) は、英語、ロシア語、アラビア語、ペルシャ語 (との同様に他の言語)、リンク文法英語構文の元の理論に基づく構文パーサーです。文を考えると、システムのそれに単語のペアを接続ラベル付けされたリンクのセットから成っている統語構造を割り当てます。パーサーはまた (名詞句、動詞句、等を示す) 文の「構成要素」(ペン ツリー銀行スタイル文節木) 表現を生成します。試供拡張依存関係解析出力を提供します。

(機械翻訳)
最終更新日: 2009-09-04 20:01

Flash9/10用Schemeコンパイラ

HappyABCはFlashPlayer9/10で動作するswfを生成するSchemeコンパイラです。 ActionScript3.0と比較して「高速なコンパイル」「簡潔な記述」が特徴です。

開発状況: 3 - アルファ
対象ユーザ: 開発者, 情報技術
ライセンス: MIT/X Consortium License
主要対話語: 英語, 日本語
オペレーティングシステム: Cygwin (MS Windows), MacOSX, Linux
プログラミング言語: OCaml (Objective Caml), Scheme
ユーザインタフェース: コマンドライン
登録日: 2009-07-04 08:42
最終更新日: 2012-11-04 01:43

Bisect

二等分する Objective Caml 言語のためのコード カバレッジ ツールです。

(機械翻訳)

Project THIN(仮称)

オープンソースの2D縦型シューティングゲームを制作します。

データベース環境: SQLite
開発状況: 1 - 計画中
対象ユーザ: 開発者, テスター
主要対話語: 日本語
オペレーティングシステム: Windows 7, Windows Vista, Windows XP
プログラミング言語: OCaml (Objective Caml), PHP
ユーザインタフェース: .NET/Mono, Win32 (MS Windows)
登録日: 2013-08-03 17:47
最終更新日: 2013-11-02 20:13

ODT: OCaml Development Tools

ODT (OCaml 開発ツール) JDT (Java 開発ツール) eclipse プラグインのようなことを目指します。OCaml アプリケーション開発のための IDE の機能を提供します。Http://ocamldt.free.fr (チュートリアル、インストール ノートなど) についてを参照してください。

(機械翻訳)
対象ユーザ: 開発者
主要対話語: 英語
オペレーティングシステム: OS非依存
プログラミング言語: Java, OCaml (Objective Caml)
ユーザインタフェース: Eclipse
最終更新日: 2016-05-24 17:08

savonet

オーディオ ツール キットのストリーミング、インター ネット ラジオの複雑なシステムを目指してします。私たちストリーム ジェネレーターは高い拡張性と柔軟です。スクリプト ベース、完全自動デーモン ストリーマをすることができますそれのライブショー、ユーザーフレンドリーな GUI も使用されます。

(機械翻訳)
最終更新日: 2010-09-24 09:50

STP

STP(Simple Theorem Prover) :プログラム解析ツール、テスト生成ツール、モデル検査器、バグ発見器、ハードウェア/ソフトウェアに対する形式検証ツール、インテリジェント fuzzer などの出力である論理式や制約についての制約ソルバ/決定手続き

ライセンス: MIT/X Consortium License
オペレーティングシステム: Linux
プログラミング言語: C, C++, Java, OCaml (Objective Caml), Python
ユーザインタフェース: Console/Terminal
最終更新日: 2011-12-25 18:59

WideStudio

WideStudioは、C++, Ruby, Python, Perlにて、ウィンドウアプリケーションを開発するための統合開発環境(IDE)です。Windows, MacOSX, Linux, FreeBSD, SOLARIS, その他のUNIX, そしてBTRONとT-Engineで動作します。

最終更新日: 2010-10-15 06:51

xmtc

C へのささやかな拡張、XMTC 並列プログラムとして並列 (乳母車) アルゴリズムを表すことができ、XMTC コード コンパイラとメリーランド大学明示的なマルチ スレッド (XMT) 多くのコア アーキテクチャのサイクル精度シミュレータを使用してを実行します。

(機械翻訳)
最終更新日: 2011-02-20 01:26

flam4

Flam3 宇宙の再帰的なフラクタル炎 GPU 上に実装のレンダラー。CUDA 対応のグラフィック カードが必要です。

(機械翻訳)
対象ユーザ: 先進的ユーザ
オペレーティングシステム: MacOSX, Linux, Windows 7, Windows Vista, Windows XP
プログラミング言語: C, C++, Objective C, OCaml (Objective Caml)
ユーザインタフェース: .NET/Mono, OpenGL
最終更新日: 2019-08-19 22:30

Archive of Formal Proofs

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

(機械翻訳)
最終更新日: 2013-10-10 23:36

The MinCaml Compiler

MinCaml:小さな ML(訳注:関数型言語の一つ)サブセットから SPARCアセンブリ言語への教育的コンパイラ(OCamlでわずか2000行、しかし、OCaml&GCCとほぼ同じ効率---あるいは、より効率的)

開発状況: 4 - ベータ
対象ユーザ: 開発者, 教育, 科学/研究
主要対話語: 英語, 日本語
オペレーティングシステム: OS非依存, SunOS/Solaris, OS非依存
プログラミング言語: OCaml (Objective Caml)
ユーザインタフェース: コマンドライン
最終更新日: 2012-08-30 07:07

Kaputt

Kaputt ないは Objective Caml 言語テスト ツールです。アサーション ベース テスト (xUnit framworks のような) と仕様に準拠したテスト (のような !QuickCheck のツール) を併設しています。

(機械翻訳)
最終更新日: 2010-11-11 06:59

Binary of Babel

バベルのバイナリは、代替のパーティー 2010 年の第 2 場所を得たデモです。1 つのバイナリにも COBOL、スキーム、Vala Objective-C を含む 20 以上の言語を組み合わせたものです。Rotozoomer とラスターのバーなどの古典的なデモ効果の多くを含んでいます。

(機械翻訳)
オペレーティングシステム: Linux
トピック: Freecode.com
ユーザインタフェース: OpenGL
最終更新日: 2004-04-02 22:46

Dirty Water

汚れた水は、元泥サーバー/エンジン OCaml で書かれました。高度な現実的であるとロールプレイング Diku スタイル泥より多くを奨励するため設計されています。

(機械翻訳)