Caml

GNU Source-highlight produces a document with syntax highlighting when given a source file. Source-highlight reads source language specifications dynamically, thus it can be easily extended (without recompiling the sources) for handling new languages. GNU Source-highlight also reads output... Platforms: *nix

The QuantLib project is aimed at providing a comprehensive software framework for quantitative finance. QuantLib is a free/open-source library for modeling, trading, and risk management in real-life. QuantLib is written in C++ with a clean object model, and is then exported to different... Platforms: Mac

Felix is an advanced Algol like procedural programming language with a strong functional subsystem. It features ML style typing, first class functions, pattern matching, garabge collection, polymorphism, and has built in support for high performance microthreading, regular expressions and context... Platforms: *nix

Glade project is a free user interface builder for GTK+ and GNOME. The user interfaces designed in Glade are saved as XML, and by using the libglade library these can be loaded by applications dynamically as needed. (Glade can also generate C code, though this isnt recommended for large... Platforms: *nix

TOS is an experimental operating system kernel which is written in our strictly and statically typed assembly language, TALK. Today, computers (PCs, cell-phones, etc.) are widely used in the world and their network become one of the indispensable social infrastructures. Therefore, the... Platforms: *nix

OcamlSpread is a wrapper around the Spread group communication toolkit (http://www.spread.org) for the Objective Caml programming language. OcamlSpread not only wraps Spread functions, but adds an object-oriented interface and other valuable features.. Platforms: *nix

Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software... Platforms: Mac

What is WideStudio? WideStudio is an open source, Integrated Development Environment for desktop applications purely made in Japan. This enables you to develop GUI applications that can run on Windows95/98/Me/NT/2000/Xp/Vista, WindowsCE, Linux, FreeBSD, SOLARIS, MacOSX(w/X11), BTRON, T-Engine,... Platforms: Mac

What is WideStudio? WideStudio is an open source, Integrated Development Environment for desktop applications purely made in Japan. This enables you to develop GUI applications that can run on Windows95/98/Me/NT/2000/Xp/Vista, WindowsCE, Linux, FreeBSD, SOLARIS, MacOSX(w/X11), BTRON, T-Engine,... Platforms: Windows

PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML. Platforms: Mac, BSD, Linux

A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions. Platforms: Windows, Mac, Linux

FStream is a little WebRadio listener/recorder software that allow you to listen and record webradio. FStream is a little WebRadio listener/recorder software that allow you to listen and record webradio. What's new in this version: SOCKS protocol implementation enhanced Platforms: Mac

WordShaker allow to manipulate words list generators with various filters: dictionary filter, Regular Expression filter, anagrams filter, palindromes filter, anacyclique filter, word composed filter and/or size filter. WHAT'S NEW release notes not available currently Platforms: Mac

The QuantLib project is aimed at providing a comprehensive software framework for quantitative finance. QuantLib is a free/open-source library for modeling, trading, and risk management in real-life. QuantLib is written in C++ with a clean object model, and is then exported to different... Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

This library provides an easy interface to Gnuplot (http://www.gnuplot.info/) from OCaml (http://caml.inria.fr/) for static 2D and 3D graphs and simple animations. This library aims to be portable on all platforms OCaml runs on. Platforms: Mac

The QuantLib project is aimed at providing a comprehensive software framework for quantitative finance. QuantLib is a free/open-source library for modeling, trading, and risk management in real-life. QuantLib is written in C++ with a clean object model, and is then exported to different... Platforms: *nix