OSI-Approved Open Source (127)
- GNU General Public License version 2.0 (52)
- GNU Library or Lesser General Public License version 2.0 (36)
- BSD License (20)
- GNU General Public License version 3.0 (12)
- 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)
- Grouping and Descriptive Categories (108)
- 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
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.1 weekly downloads
New targets for haxe compiler: 1S v 8.x and 7.71 weekly downloads
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.1 weekly downloads
Simple collection of Artificial Intelligence methods implemented in OCaml1 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 software for indexing and searching a samba based files sharing network.1 weekly downloads
SFMLML is an Objective Caml binding to the SFML library (http://sfml-dev.org). The SFML (simple and fast multimedia library) is a multimedia library. This binding allow you to use it in OCaml. This binding is now stable and complete.1 weekly downloads
svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.1 weekly downloads
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.edu1 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.
Starting from various input files, we parse to find a list of addresses, then display them on a map.
Antares provides a client and server for a turn based space-themed strategy game. Rules are modular, and the default rules (and the client look and feel) resemble Stars! very closely. It is written in OCaml using the Tk binding.
AsciiMation Generator is an ascii-art animation generator. Asciimation is created from a specific programming language and using specified sprites. AMGenerator is an interpreter written in OCaml.
The Blast Software Verification Tool
A set of tools for the Objective Caml language build and maintained by the OCaml community.
CamlAL is an OCaml bindings for OpenAL.
Camlexif is an Exif parsing library entirely written in Objective Caml (OCaml).
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
A syntax extension to ease the writing of efficient arithmetic expressions in OCaml. The development moved to OCaml Forge: http://forge.ocamlcore.org/projects/pa-do/
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.
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.
Programming language and tools allowing: easy code generation for Java,C#,C++,..;verify code correctness and formal properties. The aim is to allow maximum reusability of components(without dependency of language), as well as proving correctness of them.
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.