Open Source OCaml (Objective Caml) Software - Page 4

Ex-nunc is a web application framework written in OCaml. Its main purpose is to bring the benefits of statically typed languages to the web application domain.

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.

google-drive-ocamlfuse is a FUSE-based file system for Google Drive, written in OCaml. It lets you mount your Google Drive on Linux. The project is hosted on GitHub, where you can find the latest development version. Project documentation is hosted in the website. There are Ubuntu packages in this PPA. Read-only access to Google Docs, Sheets, and Slides (exported to configurable formats). Read-ahead buffers when streaming. Accessing content shared with you (requires configuration). Team Drive support. Service account support. OAuth2 for Devices Support. Note that in order to reduce latency, the application will query the server and check for changes only every 60 seconds (configurable). So, if you make a change to your documents (server side), you won't see it immediately in the mounted filesystem.

A command-line utility for image processing.

A program which aims at compressing and decompressing image files in various formats using the fractal compression method.

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.

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.

This project will develop a system for high-level logic design and simulation embedded in the Ocaml (http://caml.inria.fr/ocaml) programming language.

An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.

The project has moved! see http://code.google.com/p/kicadocaml/ Kicadocaml is a small project that reads and writes Kicad board (*.brd) files produced by Kicad's pcbnew software. Currently, the software consists of an OpenGL gui & a tool to allow ar

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.

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.

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).

The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.

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.

"Les Anneaux de Tribana" is a kind of "arcade game", indeed you lead a flying hero who has to go through rings floating in the air. This is a project made by four 1st-year students of the French Computing Engineering School Epita (www.epita.fr).

Voici un petit programme fait en Ocaml / Python et Blender. Ce programme a pour but de générer des labyrinthes en 3D mais aussi de les résoudre. ;)

Lexy is a Scrabble-playing bot written in OCaml. Because it can be compiled to a machine executable, it is wicked fast.

OCaml Lpd is a Line Printer Daemon (LPD) server library written in OCaml. This project moved to OCamlForge https://forge.ocamlcore.org/projects/lpd/

The MAPeG Geographic Modeler (MGM) will provide you an easy and user-friendly way to visualize your 2D Map into an amazingly stunning 3D view! MGM is a 2nd-Year EPITA Students Project

A set of blocks games (sokoban, taquin and various others) in 3D

MazeML est un logiciel de création et de résolution rapides de labyrinthes. Écrit en Objective Caml (OCaml) avec GTK+, il est portable sur de nombreuses plateformes. Il est publié sous les termes de la licence GNU GPL v3.

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.