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.
To design a complete, wheeled robot, capable of accomplishing simple tasks, manipulate objects and have human interaction capabilities. Includes electronic board design, firmware and AI programming, computer-robot interaction software and mechanics.
banshee-- A toolkit for building constraint-based program analyses
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.
A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.
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.
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch the player pushed boxes around a maze, viewed from above, and tries to put them in designated location. Only one box may be pushed at a time, and boxes cannot be pulled. This Game is coded in Caml language, So to try it, you need to compile it first with Camllight.
A set of tools for the Objective Caml language build and maintained by the OCaml community.
CamlAL is an OCaml bindings for OpenAL.
Eclipse Plugin of OCaml
CamlOSG is an OCaml bindings for OpenSceneGraph.
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.
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.
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.
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.
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.
EasyBMP-OCaml is an Objective Caml interface to the EasyBMP library (http://easybmp.sourceforge.net/).
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 program which aims at compressing and decompressing image files in various formats using the fractal compression method.
Griff is a collection of projects including: (i) Sarl3 - Sets and Relations Library for doing Formal Concept Analysis (FCA); (ii) RJL a progamming language combining both static and dynamic typing, and (iv) PIG a simplistic triple store.
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
A GTK-server based GUI for Bigloo Scheme; a Windows distribution for both Bigloo, and GTK2. Tutorials on how to call GTK2 procedures from Scheme. A simple GUI for OCaml. It offers two kinds of widgets, to wit, buttons and an Emacs like mini-editor.
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.