Search Results for "ocaml"

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.

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.

OCaml interface to FFTW3 -- the Fastest Fourier Transform in the West! (http://www.fftw.org/). The code is developed at https://github.com/Chris00/fftw-ocaml

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.

A set of very optimized tools for indexing/querying huge genomes/files. Provided so far: a very fast exact mapper, and an unconstrained split-mapper

...A web application Visual SPiM, and a destkop application SPiM Player. Both simulation tools require to be run on a Windows platform. Fortunately Microsoft has also released a command line version for Linux and Mac OS based on OCAML however this version will only output a CSV file for the simulation results. SPiM2Eclipse provides a bridge for those running SPiM from the command-line by allowing simulations to be completed by a single click, displaying an embedded plot of the results. Features: -As an Eclipse plugin you have all of the powerful features of Eclipse available to you. ...

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.

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.

VSYML is an automated symbolic simulator for VHDL designs.

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

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.

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.

OCAMAWEB is a CWEB like literate programming tool written in the OCAML programming language. OCAMAWEB is actually intensively used at MIRIAD Technologies. Actually, a configuration file is ready for the MATLAB language, but configurations files are in

This project moved to https://forge.ocamlcore.org/projects/ocaml-mindstorm/ OCaml-mindstorm is a library that enables you to drive Lego mindsotrm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.

An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

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

Autononous mobile robot programming environment for Robotino.

CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC

PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.

Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.

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.

An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.

Monod is a computational model inspired by the biology of cells and the implementation of a simulation of this model.  Thinking of proteins as abstract processing units with a rich context leads to an alternative to the Turing / von Neumann architecture.

ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.