Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.
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
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.
OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).
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 set of very optimized tools for indexing/querying huge genomes/files. Provided so far: a very fast exact mapper, and an unconstrained split-mapper
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.
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.
Un jeu de coinche, ou belote coinchée.
svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.
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.
A monitor for MFOTL specifications
MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch/research/projects/mon_enf.
POESIA= Public Opensource Environment for a Safer Internet Access an opensource Internet content filter (multimodal, mulitlingual) aimed for protection of youth (in schools...); partly funded by the European Commission
To design a complete, wheeled robot, capable of accomplishing simple tasks, manipulate objects and have human interaction capabilities. Includes electronic board design, firmware and AI programming, computer-robot interaction software and mechanics.
CamlCSS is an O'Caml SDK to write server-side plugins for a first person shooter game Counter-Strike: Source.
CamlOSG is an OCaml bindings for OpenSceneGraph.
Camlexif is an Exif parsing library entirely written in Objective Caml (OCaml).
Carafe is an implementation of Conditional Random Fields and related algorithms targeted at text processing applications. The latest version, jCarafe, is implemented in Scala and runs on the JVM.
GNUdap is a project to build an userspace driver to interface with proprietary-protocol usb mp3 players and mass storage devices. Currently GNUdap supports the following devices from Perstel,Inc. CHIC MP10, MP30, Symphony and the NGS Jogger from NGS.
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.
GyaanOS is a GNU/Linux desktop distribution specially designed for Technology Students- has everything a student of Computer Science, IT, Electronics or Telecom will ever need. GyaanOS is For The Students and By The Students. By:Laksh & Tanmaya
The Hybrid Calculus of Wrapped Compartments is a language for the modelling of biological processes; it combines the precision of a stochastic approach with the efficiency of a ODE-based one. HCWC-sim is a OCaml implementation of the HCWC calculus.
A GTK-server based GUI for Bigloo Scheme; a Windows distribution for both Bigloo, and GTK2. Tutorials on how to call GTK2 procedures from Scheme. A simple GUI for OCaml. It offers two kinds of widgets, to wit, buttons and an Emacs like mini-editor.
A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.
Lexy is a Scrabble-playing bot written in OCaml. Because it can be compiled to a machine executable, it is wicked fast.