OSI-Approved Open Source (129)
- GNU General Public License version 2.0 (53)
- GNU Library or Lesser General Public License version 2.0 (36)
- BSD License (20)
- GNU General Public License version 3.0 (13)
- MIT License (11)
- GNU Library or Lesser General Public License version 3.0 (4)
- Academic Free License (2)
- Apache License V2.0 (2)
- Eclipse Public License (2)
- Qt Public License (2)
- Artistic License (1)
- Common Development and Distribution License (1)
- Educational Community License, Version 2.0 (1)
- Fair License (1)
- University of Illinois/NCSA Open Source License (1)
- Other License (3)
- Public Domain (3)
- Linux (138)
- Grouping and Descriptive Categories (110)
- Mac (108)
- Android (70)
- BSD (39)
- Modern (29)
- Emulation and API Compatibility (10)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Backtester for AAII SI PRO Data via RadiScript screens1 weekly downloads
Eclipse Plugin of OCaml1 weekly downloads
CamlOSG is an OCaml bindings for OpenSceneGraph.1 weekly downloads
Camlexif is an Exif parsing library entirely written in Objective Caml (OCaml).
CamlAL is an OCaml bindings for OpenAL.
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. ;)1 weekly downloads
OGit is a Just-In-Time compilation framework written in OCaml. It currently supports 2 different back-ends (LLVM and a proprietary one).
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, an1 weekly downloads
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.1 weekly downloads
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.1 weekly downloads
Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.2 weekly downloads
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.1 weekly downloads
A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.
Galaxy Invaders is a online multiplayer game. It consists of a series of different levels and challenges, each more difficult than the last, where the player must evolve amoung and against the other hostile connected player.
A software for indexing and searching a samba based files sharing network.1 weekly downloads
The goal of the OCaml-Java project is to allow seamless integration of Objective Caml and Java.
A generic C++ library for peptide simulations.
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.1 weekly downloads
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.5 weekly downloads
charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.
The Blast Software Verification Tool
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.1 weekly downloads
SPEmatic is an interpreter for SPE-style string-rewrite rules meant for use by students and instructors in introductory courses on phonological theory (a subfield of linguistics that deals with how sounds function in the grammars of natural languages).2 weekly downloads
An OCaml wrapper for the Syck YAML tookit.1 weekly downloads