 |
CocOCaml
A Cocoa based wrapper for the OCaml toplevel environment. It was written to solve a number of the problems one usually runs into while running the toplevel under OS X's terminal.
http://www.cs.unm.edu/~wneumann/cococaml/
Unm.edu ~
Site Info
Whois
Trace Route
RBL Check
|
 |
The JoCaml System
Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collected. Descriptions, documents, downloads.
http://moscova.inria.fr/jocaml/
Inria.fr ~
Site Info
Whois
Trace Route
RBL Check
|
 |
G'Caml
O'Caml compiler variant, extends ML polymorphism from parametric to non-parametric (extensional). More complex parametricity gives many features impossible or very hard to achieve otherwise: overloading, e.g., type safe value marshalling, ML value printe
http://www.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml/
U-tokyo.ac.jp ~
Site Info
Whois
Trace Route
RBL Check
|
 |
OCaml Software
Includes functional libraries, interfaces to PostgreSQL, LAPACK, Perl regexps; OCamlMakefile, and syntax files for VIM. By Markus Mottl.
http://www.ocaml.info/home/ocaml_sources.html
Ocaml.info ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|