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) ×
CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).1 weekly downloads
Don't panic, it's just a game.
Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.1 weekly downloads
Data Structure Tester is an OCaml application for multiple testing of various data structures (also written in other lanages, like C or C++).It proviedes many examples to test, easily configurable tester and signatures for all data structers to be tested.2 weekly downloads
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.3 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
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/
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
Document Clustering using Fast-Bit candidate generation as described by Tsau Young Lin et al. in a series of research papers.
A small programming language provided with an OCaML compiler.
EasyBMP-OCaml is an Objective Caml interface to the EasyBMP library (http://easybmp.sourceforge.net/).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.
Ex-nunc is a web application framework written in OCaml. Its main purpose is to bring the benefits of statically typed languages to the web application domain.1 weekly downloads
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.
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
A program which aims at compressing and decompressing image files in various formats using the fractal compression method.
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.2 weekly downloads
Fusepak is a small program, that makes it possible to mount PACK or WAD files (used by y idSoftware games, ie. Quake, Doom) under a directory. This is achieved by using FUSE system (http://fuse.sourceforge.net), which is needed for this program to run.5 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.
A set of very optimized tools for indexing/querying huge genomes/files. Provided so far: a very fast exact mapper, and an unconstrained split-mapper52 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.39 weekly downloads
GNUdap is a project to build an userspace driver to interface with proprietary-protocol usb mp3 players and mass storage devices. Currently GNUdap supports the following devices from Perstel,Inc. CHIC MP10, MP30, Symphony and the NGS Jogger from NGS.1 weekly downloads
Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.56 weekly downloads