Platform
GODI bundles the Ocaml compiler with a
large list of add-on packages, and serves as a development platform
for Ocaml applications. GODI makes it very easy to install open source
libraries for all kinds of development areas on your computer. It is
intended as a daily toolkit for developers who are mainly interested
that the libraries can be pulled into their own projects effortlessly,
and do not want to spend half of their life for figuring out how to
configure and build software they haven't written themselves.
Latest Updates
2013-04-26 21:47:38
godi-lwt-2.4.2godi2: update available -
Light-weight threading library. Released by gerd. Available for GODI section(s) 4.00
2013-04-22 16:24:00
godi-camlimages-4.0.1godi2: update available -
Objective Caml image processing library. Released by gerd. Available for GODI section(s) 4.00
2013-04-18 16:22:47
godi-camlimages-4.0.1godi1: update available -
Objective Caml image processing library. Released by gerd. Available for GODI section(s) 4.00
2013-04-14 20:39:39
godi-camlimages-4.0.1: update available -
Objective Caml image processing library. Released by gerd. Available for GODI section(s) 4.00
2013-03-12 22:27:54
godi-jsofocaml-1.3.2: update available -
Js_of_ocaml is a compiler of OCaml bytecode to Javascript. Released by gerd. Available for GODI section(s) 4.00
2013-02-15 17:59:42
apps-coq-8.4.1: update available -
Interactive proof assistant. Released by prevosto. Available for GODI section(s) 3.12, and 4.00
2013-01-20 14:52:57
godi-bisect-1.3: update available -
A code coverage tool. Released by andreas. Available for GODI section(s) 4.00
2013-01-20 14:51:04
godi-qtest-2.0.0: update available -
Quick Unit Tests for OCaml. Released by andreas. Available for GODI section(s) 3.12, and 4.00
2013-01-16 16:33:43
apps-alt-ergo-0.9.5: update available -
Automated first-order theorem prover. Released by prevosto. Available for GODI section(s) 3.12, and 4.00
2013-01-16 14:25:06
godi-menhir-20130116: update available -
A LR(1) parser generator for Objective Caml. Released by fpottier. Available for GODI section(s) 3.12, and 4.00
Apps
GODI also includes some applications, mostly for scientific purposes.
As for developers, it makes it also easy for scientific users to
install software written by other groups, without having to go into
the details of the build process.
Console
GODI includes a management console allowing one to install, upgrade
and delete packages. Performing these actions is as easy as selecting
the package and pressing a key. Although the console is mainly
controlled with a text-based UI, it is also scriptable, and allows it
to automate installation tasks.
Systems
GODI is available on a multitude of platforms: Linux, FreeBSD, MacOS X,
NetBSD, OpenSolaris, HP/UX. Basic Windows support exists, too.
Sources
GODI always compiles software from sources instead of distributing
ready-made binaries. This is what developers want, because they have
full control over their build and can e.g. adapt the configuration to
their special needs, or apply patches to the sources. Nevertheless,
compiling software is easy as a child's game, and loses its frightening
aspects.
Ocaml
Of course, it's Ocaml - because the most talented programmers and
computer scientists are convinced by it.
