Liste des projets simples Logiciel Télécharger Carte

OCaml (Objective Caml)
96 projects in result set
Dernière Mise à Jour: 2011-12-25 18:59

WideStudio

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

Dernière Mise à Jour: 2013-11-02 20:13

ODT: OCaml Development Tools

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

(Traduction automatique)
Statut de développement: 5 - Production / écurie
Utilisateurs cibles: Développeurs
Langage naturel: English
Système d'exploitation: OS Independent
Langage de programmation: Java, OCaml (Objective Caml)
Interface utilisateur: Eclipse
Dernière Mise à Jour: 2013-10-07 21:15

OCaml MySQL Protocol

OCaml MySQL Protocol is an implementation of the MySQL protocol using the OCaml Bitstring library.

(Traduction automatique)
Dernière Mise à Jour: 2007-08-01 06:32

newfileaction

newfileaction (newfaction) invokes a program for
each file that newly is created in a directory you
want to visit.

(Traduction automatique)
Dernière Mise à Jour: 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).

(Traduction automatique)
Dernière Mise à Jour: 2013-02-01 02:40

brightmare

BrightMaRe is a tool that translates LaTeX equations to ASCII/UTF-8 text.

(Traduction automatique)
Dernière Mise à Jour: 2012-11-08 13:37

ocamlmath

ocamlmath provides modules that may be used as interactive calculation constructions for general mathematics when loaded in the OCaml pseudo-interpreter, or as calculation library for the OCaml compiler.

(Traduction automatique)
Dernière Mise à Jour: 2011-01-29 18:26

Paparazzi

Paparazzi is powerful and versatile autopilot system for fixed-wing aircraft and multicopters. It comprises both hardware and software. The project includes not only the airborne hardware and software, from voltage regulators and GPS receivers to Kalman filtering code, but also a powerful and ever-expanding array of ground hardware and software including modems, antennas, and a highly evolved user-friendly ground control software interface.

(Traduction automatique)
Dernière Mise à Jour: 2004-05-30 18:52

OCamlConf

OCamlConf is an OCaml build tool that resembles GNU autoconf to the user, but uses OCaml in the backend rather than shell script. It is a library for writing "configure" scripts in OCaml as well as a front-end for creating these cross-platform "configure" scripts.

(Traduction automatique)
Dernière Mise à Jour: 2013-10-10 23:36

The MinCaml Compiler

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

Dernière Mise à Jour: 2010-09-24 09:50

STP

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

Dernière Mise à Jour: 2008-05-04 07:11

Goba

Goba (Game Of Bases) is a remake of the classic
Flash Attack game featuring pre-rendered graphics,
sound, and networking (no computer opponents) with
meta-server support. You control four tanks and
try to destroy enemy bases while defending your
own. The tanks have weapons, a set of mines, and
the capability to build walls and fake bases, all
of which may be recharged back at the base. The
bases have a limited number of bomb attacks in
their disposal, plus a laser beam that can cut
through the whole game field (2000 x 2000 pixels).

(Traduction automatique)
Dernière Mise à Jour: 2003-08-22 11:09

IBGS

IBGS is a game server for board games such as
chess, go, checkers, and nine nens morris. Data
about players and games are stored in an SQL
database. The FICS protocol is supported. The IBGS Client
is part of this project.

(Traduction automatique)
Dernière Mise à Jour: 2006-10-10 09:42

demexp

demexp is a client/server system for direct
democracies. It makes it possible to ask questions
in the system, add new answers to those questions,
and vote on proposed answers. The voting procedure
used is Condorcet voting. Questions are
classified, and a delegation system allows one's
vote for certain questions to be assigned to a
chosen delegate. The software is tailored to the
needs of the Democratic Experience project.

(Traduction automatique)
Dernière Mise à Jour: 2002-05-20 12:00

XSL Preprocessor

XSPP (XSL Preprocessor) offers alternative syntax for creating XSLT stylesheets. It alo supports macro expansion, and is written in OCaml.

(Traduction automatique)