OSI-Approved Open Source (45)
- GNU General Public License version 2.0 (21)
- BSD License (9)
- MIT License (8)
- GNU Library or Lesser General Public License version 2.0 (7)
- GNU General Public License version 3.0 (3)
- Eclipse Public License (2)
- Educational Community License, Version 2.0 (1)
- Lucent Public License Version 1.02 (1)
- Qt Public License (1)
- Other License (1)
- Linux (44)
- Grouping and Descriptive Categories (33)
- Windows (32)
- Mac (30)
- Android (20)
- BSD (14)
- Modern (13)
- Other Operating Systems (2)
- 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
OCaml-libsvm provides bindings of the libsvm libary for the OCaml language.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
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.
CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC
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.
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.
This project will develop a system for high-level logic design and simulation embedded in the Ocaml (http://caml.inria.fr/ocaml) programming language.
MicroCartouche OSI est un petit logiciel de mesures et de formatage pour microphotographe. Il est particulièrement indiqué pour les échanges d'images dans le forum du Naturaliste (http://www.lenaturaliste.net/index.php)
OCR software written in C/CAML on Freebsd with a simple GTK+ gui.
Camlp4 extension to check code coverage of any OCaml code
PCL-Compiler is a compiler for PCL: a simple Pascal-derived programming language, used for teaching compiler technology in the National Technical University of Athens.
The focus of the RAF project is to develop efficient tools to handle, process and store huge amounts of genomic data (like for instance those coming from high-throughput sequencing techniques)
Replaces traditional file system with tagged cloud. Designed to work with both point&click interfaces and command line. Data and tags are stored as regular files, so if something goes wrong, your data and tags won't disappear.
charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.
OGit is a Just-In-Time compilation framework written in OCaml. It currently supports 2 different back-ends (LLVM and a proprietary one).