| Directory > Computers > Programming > Languages > ML > Objective Caml SPIKE
Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface
allows mouse-menus interaction; supports building correct specifications via verifying properties
by induction. Description, downloads.
http://www.loria.fr/equipes/cassis/softwares/spike/
Reviews Rating: Not yet Rated
Whois Check
Yahoo Groups: OCaml_beginners
Email forum for mutual aid of those who recognize they're not OCaml gurus yet, ask what you wanted
but were afraid to in the very official caml-list@inria.fr, satisfaction not guaranteed, if you
teach more than you learn, then you've probably learned more than you're teaching.
http://groups.yahoo.com/group/ocaml_beginners/
Reviews Rating: Not yet Rated
Whois Check
Dimitri Ara's page: ocaml
Descriptions, links, software: Epeire graphical interface for OCaml debugger, ocamldsort dependency
sorter for OCaml source files. Readme files, downloads.
http://www.eleves.ens.fr/home/ara/ocaml.html
Reviews Rating: Not yet Rated
Whois Check
Camomile
Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL]
http://camomile.sourceforge.net/
Reviews Rating: Not yet Rated
Whois Check
Merjis Ltd.
Has mod_caml OCaml bindings for Apache API, lets you run CGI scripts written in OCaml directly in
Apache webserver; and Objective Caml tutorial, practical, detailed, for those who already know an
imperative or OO-language.
http://www.merjis.com/developers/
Reviews Rating: Not yet Rated
Whois Check
Camlmake
Hack to build O'Caml programs easily, doesn't support any new syntax of 3.00, should be rewritten
to use lexer that new ocamldep uses. Description, source code download tar file. [Open Source;
LGPL, GPL, Q Public License]
http://www.davidb.org/camlmake/
Reviews Rating: Not yet Rated
Whois Check
LablGTK
Ocaml Gtk+ interface.
http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
Reviews Rating: Not yet Rated
Whois Check
MlGtk
An interface between Ocaml (a dialect of ML) and the Gtk+ toolkit
http://cristal.inria.fr/~cuoq/mlgtk.html
Reviews Rating: Not yet Rated
Whois Check
Objective Caml
Latest version of Caml dialect of strongly-typed functional language ML: object-oriented
programming, flexible module system, fast native compilers for many systems. Descriptions,
documents, resources, downloads. English, Français. [Open Source, INRIA]
http://www.ocaml.org/
Reviews Rating: Not yet Rated
Whois Check
OCaml Link Database
Large, indexed, sorted repository of software contributions for Objective Caml community.
Descriptions, downloads, author contacts.
http://www.npc.de/ocaml/linkdb/
Reviews Rating: Not yet Rated
Whois Check
The JoCaml system
Experimental OCaml extension, distributed join-calculus programming model; high-level communication
and synchronizing channels, mobile agents, failure detection, garbage collection. Descriptions,
documents, downloads.
http://pauillac.inria.fr/jocaml/
Reviews Rating: Not yet Rated
Whois Check
Objective Label
Extension of Objective Caml with labeled and optional parameters, and polymorphic variants and
methods
http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/
Reviews Rating: Not yet Rated
Whois Check
|
