Audio and video streams generator
Audio toolkit for streaming, aiming at complex Internet radio and video systems. Our stream generator is highly extensible and flexible. Script based, it can be a fully automatic daemon streamer, but is also used for live shows with an user-friendly GUI.
OCaml interface to FFTW3 -- the Fastest Fourier Transform in the West! (http://www.fftw.org/). The code is developed at https://github.com/Chris00/fftw-ocaml
OCamlSDL is an OCaml interface to the SDL (Simple DirectMedia Layer) library.
Camomile is a Unicode library for ocaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more.
CamlGI is a web framework build on top of OCamlNet2.
OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).
An implementation of the Light Weight Directory Access Protocol in Objective Caml. Both server and client libraries are provided, along with some data manipulation goodies such as a schema checker, and parsers for ldif, ldapurls etc.
OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure.
A User-supported Extended Standard Library for OCaml
The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0 and 2.1 plus some platform-independent extensions.
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.
This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex
A set of tools for the Objective Caml language build and maintained by the OCaml community.
CamlAL is an OCaml bindings for OpenAL.
CamlCSS is an O'Caml SDK to write server-side plugins for a first person shooter game Counter-Strike: Source.
Eclipse Plugin of OCaml
CamlGoBot is a computer go program using the GTP protocol and written in OCaml. Its main goal is to be used as a bot on the KGS go server.
CamlOSG is an OCaml bindings for OpenSceneGraph.
A syntax extension to ease the writing of efficient arithmetic expressions in OCaml. The development moved to OCaml Forge: http://forge.ocamlcore.org/projects/pa-do/
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
A program which aims at compressing and decompressing image files in various formats using the fractal compression method.
Griff is a collection of projects including: (i) Sarl3 - Sets and Relations Library for doing Formal Concept Analysis (FCA); (ii) RJL a progamming language combining both static and dynamic typing, and (iv) PIG a simplistic triple store.
LIPS is an easy-to-use command line interpreter for the lambda-calculus. It supports different evaluation strategies, a trace-mode, abbreviations and typing. Furthermore LIPS allows to export interpreter-sessions to a user-definable format (e.g., LaTeX).