OSI-Approved Open Source (128)
- GNU General Public License version 2.0 (53)
- GNU Library or Lesser General Public License version 2.0 (35)
- BSD License (19)
- 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 (137)
- Grouping and Descriptive Categories (109)
- Mac (107)
- Android (70)
- BSD (38)
- Modern (28)
- Emulation and API Compatibility (9)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.
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.
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.4 weekly downloads
Camlp4 extension to check code coverage of any OCaml code
Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.1 weekly downloads
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.1 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
This project will develop a system for high-level logic design and simulation embedded in the Ocaml (http://caml.inria.fr/ocaml) programming language.
Screen (or SCalable REndering ENgine) is a rendering engine based on both 3D rendering and highlty parallel algorithms. It provides powerful scripting interfaces and integrated development environment for 3D games and scientific simulations.
object oriented unit testing framework for ocaml
Open source CV (resume) format and APIs for recruiting industry and HR departments
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.1 weekly downloads
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.1 weekly downloads
This project moved to https://forge.ocamlcore.org/projects/ocaml-mindstorm/ OCaml-mindstorm is a library that enables you to drive Lego mindsotrm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.1 weekly downloads
The Blast Software Verification Tool
The goal of the OCaml-Java project is to allow seamless integration of Objective Caml and Java.
A User-supported Extended Standard Library for OCaml1 weekly downloads
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.
*** Moved to http://github.com/esumii/min-caml ***1 weekly downloads
tdir is an LDAP translator, initially it will facilitate easy replication to MS Active Directory, but support for other directories may be added in the future1 weekly downloads
OCaml Lpd is a Line Printer Daemon (LPD) server library written in OCaml. This project moved to OCamlForge https://forge.ocamlcore.org/projects/lpd/2 weekly downloads
Un jeu de coinche, ou belote coinchée.1 weekly downloads
A program which aims at compressing and decompressing image files in various formats using the fractal compression method.