Einfache Projektliste Software-Karte

OCaml (Objective Caml)
96 Projekte im Ergebnis
Letztes Update: 2014-05-13 13:08

Link Grammar Parser

The Link Grammar Parser (link-grammar) is a syntactic parser of English, Russian, Arabic, and Persian (and other languages as well), based on link grammar, an original theory of English syntax. Given a sentence, the system assigns to it a syntactic structure, which consists of a set of labelled links connecting pairs of words. The parser also produces a "constituent" (Penn tree-bank style phrase tree) representation of a sentence (showing noun phrases, verb phrases, etc.). The RelEx extension provides dependency-parse output.

(Machine Translation)
Letztes Update: 2009-09-04 20:01

Scheme compilre for Flash9/10

HappyABC is a scheme compiler which generates swf files for FlashPlayer9/10. Campared with ActinoScrpit3.0, the main features is "fast-compile" and "brief-coding".

Entwicklungsstatus: 3 - Alpha
Natürliche Sprache: English, Japanese
Betriebssystem: Cygwin (MS Windows), MacOSX, Linux
Programmiersprache: OCaml (Objective Caml), Scheme
Benutzerschnittstelle: Command-line
Register Date: 2009-07-04 08:42
Letztes Update: 2012-11-04 01:43

Bisect

Bisect is a code coverage tool for the Objective
Caml language.

(Machine Translation)

Project THIN(仮称)

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

Register Date: 2013-08-03 17:47
Letztes Update: 2013-11-02 20:13

ODT: OCaml Development Tools

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

(Machine Translation)
Letztes Update: 2016-05-24 17:08

savonet

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

(Machine Translation)
Letztes Update: 2010-09-24 09:50

STP

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

Letztes Update: 2011-12-25 18:59

WideStudio

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

Letztes Update: 2010-10-15 06:51

xmtc

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

(Machine Translation)
Letztes Update: 2011-02-20 01:26

flam4

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

(Machine Translation)
Letztes Update: 2019-08-19 22:30

Archive of Formal Proofs

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

(Machine Translation)
Letztes Update: 2013-10-10 23:36

The MinCaml Compiler

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

Letztes Update: 2012-08-30 07:07

Kaputt

Kaputt is a testing tool for the Objective Caml
language. It features both assertion-based tests
(like in the xUnit framworks) and
specification-based tests (like in the QuickCheck
tool).

(Machine Translation)
Letztes Update: 2010-11-11 06:59

Binary of Babel

Binary of Babel is the demo that got second place at Alternative Party 2010. It combines over 20 programming languages, including Objective-C, Vala, Scheme, and even COBOL, into one binary. It contains lots of classic demo effects such as a rotozoomer and raster bars.

(Machine Translation)
Letztes Update: 2004-04-02 22:46

Dirty Water

Dirty Water is an original MUD server/engine
written in OCaml. It is designed to be much
more advanced and realistic and to encourage
role playing more than Diku-style MUDs.

(Machine Translation)