MLDonkey is a multi-platform multi-network peer-to-peer client.
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.
CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
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.
abandoned project. No real need to do that.
A Data Bus to share Time Series at high-frequency and low latency between programs on the same machine or on the network Publisher/subscribers model Any type data Shared-memory, TCP, RDMA, Ethernet Language independent API Time and content access
A set of tools for the Objective Caml language build and maintained by the OCaml community.
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
AdH is a 3D multiplayer role playing game based on the greek antiquity. Preliminary projects include a C++ types serialization generator, and a 3D train game.
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.
WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice
TL is a new object-oriented programming language.
TL implements many concepts : objects, threads, memory allocation, ... And all this without the help of any library, the compiler directly implements these concepts in the produced code !
A Core War with time manipulation!
CamlAL is an OCaml bindings for OpenAL.
The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu
MLGame is a 2d game library for OCaml built on top of SDL (OCamlSDL). It features sprites, collision, video contexts, high level network, console, input bindings, widgets and video primitives. Currently package includes some simple exaple games, an
banshee-- A toolkit for building constraint-based program analyses
OPath is a physically based rendering system. The renderer takes a scene description written in a simple language describing geometry, materials, lighting and viewing parameters and produces photorealistic, high dynamic range images of the scene.
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.
svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.
CamlOSG is an OCaml bindings for OpenSceneGraph.
Open source CV (resume) format and APIs for recruiting industry and HR departments
image2matrix is a command line utility that takes an image file as an argument and returns a numeric matrix containing the color values of each pixel.
McCarthy is an interpreter for a simple, first-order functional programming language which is Turing-complete and can be used as a model of computation.
Flashdot is a program for generating and presenting visual perceptual experiments that require a high temporal precision. It is controlled by a simple experiment building language and allows experiment generation with either a text or a graphical editor.
Screen (or SCalable REndering ENgine) is a rendering engine based on both 3D rendering and highlty parallel algorithms. It provides powerful scripting interfaces and integrated development environment for 3D games and scientific simulations.