MLGame is a 2d game library for OCaml built on top of SDL (OCamlSDL). It features sprites, collision, video contexts, high level network, console, input bindings, widgets and video primitives. Currently package includes some simple exaple games, an
banshee-- A toolkit for building constraint-based program analyses
A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.
ggelite aims to be a clone/improvement of the old eighty's game called "elite"
Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.
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.
A User-supported Extended Standard Library for OCaml
Cellular Automata simulator. Native code (fast) and modular design: update rule, topology, time, measurement, initialization are independant. No GUI (for now...): configuration file (commented default automatically generated) overridable by command line.
Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation
Camlp4 extension to check code coverage of any OCaml code
Logic Data Base Designer
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.
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.edu
The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).
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 ob
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
The project has moved! see http://code.google.com/p/kicadocaml/ Kicadocaml is a small project that reads and writes Kicad board (*.brd) files produced by Kicad's pcbnew software. Currently, the software consists of an OpenGL gui & a tool to allow ar
CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).
A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.
OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure.
This project moved to OCamlForge https://forge.ocamlcore.org/projects/rope/ This library implements ropes for OCaml (it is rich enough to replace strings).
A software for indexing and searching a samba based files sharing network.
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.
PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
A Forge-like world editor for the AlephOne engine. We have migrated to GitHub for all future releases.