OSI-Approved Open Source (185)
- GNU General Public License version 2.0 (89)
- GNU Library or Lesser General Public License version 2.0 (44)
- BSD License (27)
- GNU General Public License version 3.0 (15)
- 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)
- Common Development and Distribution License (1)
- Educational Community License, Version 2.0 (1)
- Fair License (1)
- Lucent Public License Version 1.02 (1)
- Public Domain (5)
- Other License (3)
- Grouping and Descriptive Categories (143)
- Windows (138)
- Mac (114)
- Android (70)
- BSD (70)
- Modern (70)
- Emulation and API Compatibility (11)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
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.1 weekly downloads
Errances is a tactical role playing game written in OCaml. Features battles in a 3D environment. The aim is to have lots of secondary quests but not a single main story.
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.1 weekly downloads
DigitalEyes is an OCR (Optical Character Recognizer) developed in C/Caml released under GNU GPL by SuM42, as a sophomore project in EPITA.1 weekly downloads
CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC
coThreads (formerly known as STMlib), is a concurrent programming library for OCaml. It features both high and low level constructors, for both shared-memory and message-passing style concurrency. The library is equipped with a set of source-level and ob1 weekly downloads
COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.3 weekly downloads
OX is an XML integration into Objective-Caml, providing XML transducers based on pseudo-tree view. This gives a homogeneous view of XML within OCaml code, and lets users to manipulate such terms like any other ones, without constraint.1 weekly downloads
An XML-RPC client and server, using an ad-hoc interface definition language and IDL compiler.1 weekly downloads
LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...2 weekly downloads
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.
This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.1 weekly downloads
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 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.
Database File System; Actually do not think of it as a file system, instead think of it as a document system. And while being precise, it is not database system either, it is a faceted system, It helps to organizes your information nicely.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
An implementation of the Light Weight Directory Access Protocol in Objective Caml. Both server and client libraries are provided, along with some data manipulation goodies such as a schema checker, and parsers for ldif, ldapurls etc.1 weekly downloads
A program which aims at compressing and decompressing image files in various formats using the fractal compression method.
Simple collection of Artificial Intelligence methods implemented in OCaml1 weekly downloads
Mastic is a extensible self-modifying programming language. It will be used as a bootstrap for the development of a fully extensible programming environment (called HOPE) governed by the principles of Concept, Intentional and Literate programming.
A set of tools for the Objective Caml language build and maintained by the OCaml community.
Carafe is an implementation of Conditional Random Fields and related algorithms targeted at text processing applications. The latest version, jCarafe, is implemented in Scala and runs on the JVM.2 weekly downloads
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice41 weekly downloads