OSI-Approved Open Source (190)
- GNU General Public License version 2.0 (90)
- GNU Library or Lesser General Public License version 2.0 (44)
- BSD License (29)
- GNU General Public License version 3.0 (16)
- MIT License (14)
- GNU Library or Lesser General Public License version 3.0 (5)
- Academic Free License (3)
- Apache License V2.0 (2)
- Eclipse Public License (2)
- Qt Public License (2)
- Artistic License (1)
- Artistic License 2.0 (1)
- Common Development and Distribution License (1)
- Educational Community License, Version 2.0 (1)
- Fair License (1)
- Public Domain (5)
- Other License (3)
- Linux (198)
- Grouping and Descriptive Categories (145)
- Windows (140)
- Mac (114)
- BSD (73)
- Modern (71)
- Android (70)
- Emulation and API Compatibility (11)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
- Programming Language: OCaml (Objective Caml) ×
A tennis simulation developed by a former tennis player. Its main feature is realism. For gameplay, this means you have total control over the shot parabola. For graphics, it means players have realistic gestures. For AI, it means real tactics.6 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.2 weekly downloads
a.m.c. is a project aimed to produce arcade games in functional languages, mainly Ocaml, and to test functional languages possibilities in game programming and in general
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.
OCR software written in C/CAML on Freebsd with a simple GTK+ gui.
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.
Community of Ocaml Programmers where Programs developed in Ocaml can be shared and redistributed and developed further under the GNU Public License.
ocaml library/module to write mathematics in a web page (forum, blog), that support cgi scripts
A generic C++ library for peptide simulations.
Projet de photogrammétrie de fin d'année 2009 du groupe imajs pour EPITA
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.1 weekly downloads
A library to develop high availability aplications not based on threads and written in Ocaml language. It provides support for protocol encoding/decoding, active/passive or active/active services, replicated data storage, ...
CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).1 weekly downloads
Document Clustering using Fast-Bit candidate generation as described by Tsau Young Lin et al. in a series of research papers.
charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.
The b-calculus musical analysis assistant and data miner
The Blast Software Verification Tool
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 ex1 weekly downloads
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