Localization for Invision Power Board 3.1.4
IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
The Ivory Programming Language: A modern language for systems programming
The Java Integrated Build Environment is a build environment that combines XP concepts like Continuous Integration with existing tools like Ant, JUnit, CruiseControl, CVS and Tomcat, to provide the community with a tool to build, test and release software
The source code and supporting documents for the proofs of the Kepler and Dodecahedral conjectures.
Kokatrix is a system for building 2D single-player roleplaying games written in Objective Caml. Main features are a graphics engine, a map editor, scripting system and tools for generating large worlds.
This project aims at developping a set of programs for business needs, such as accounting, payroll and inventory.
Full-blown Standard ML Compiler
The MLKit is a full-blown compiler for the programming language Standard ML. The MLKit implements most of the Basis Library and has support for ML Basis Files. The compiler runs on the Linux platform and targets the x86 architecture.
"MathML Editor for Flash" is an implementation of MathML editor intended to be used in Adobe Flash applications. This project use "MathML Formula for Flash" project to display the formula. More info you can get from http://www.fmath.info
"MathML Formula for Flash" is an implementation of MathML to display the mathematical formula and it is intended to be used in Adobe Flash applications. More info you can get from http://www.learn-math.info/mathml.do?action=formula
Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)
The MlDoC system is a powerfull but 'simple as needed' documentation tool for OCaML programming projects. It consists currently of a frontend module and various backend modules for HTML, ASCII-Text and LaTeX output.
The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
Small or experimental software projects developed by Nada Amin
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
Objective Caml (OCaml) Elipse Plug-In
A tool to generate interfaces to C functions and datatypes. Includes a complete interface to the standard C Xlib. This project has significant overlap with some of <A HREF="http://caml.inria.fr/hump.html#ffi">these</A>, and one or two others as well.
OCaml Interface for the libplot plotting library from the GNU plotutils package.
The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation
OOOOOOOOO means On Oublie d'Ordinaire Outrageusement ses Outils dans l'Optique d'un Ouvrage en OcamL, and is a collection of small utilites designed to work with OCamL
OpenDizzy is a tool for stochastic and deterministic simulation of chemical reactions.
This library interfaces the PCRE-library (Perl Compatibility Regular Expressions) to OCaml.
PPT2MP4 has the goal to provide sample scripts and documentation to create slide-based presentations following ISO 14496-1 (MPEG-4 Systems Standard).
Perpetua is an implementation of Haskell and the ML language. Features from scripting languages such as Python will be incorporated to make Perpetua a better general purpose tool. Perpetua is meant to be approachable and well designed.