Search Results for "evolution-x"

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

...Essentially, pdfsandwich is a wrapper script which calls the following binaries: convert, unpaper, tesseract, gs, and hocr2pdf (if tesseract < 3.03). It is known to run on Unix systems and has been tested on Linux and MacOS X. It supports parallel processing on multiprocessor systems. In contrast to most competing sandwich programs, it performs preprocessing of the scanned images, such as de-skewing or removal of dark edges etc. For further information please read the manual: http://www.tobias-elze.de/pdfsandwich/index.html

Modification of the Haxe compiler which adds two compilation targets: 1S Enterprise 8.x and 1S Enterprise 7.7.

WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice

strid is a tool to generate string diagrams for inclusion in LaTeX documents. It has a syntax which is inspired of Xy-matrix, but dual diagrams are generated.

AdH is a 3D multiplayer role playing game based on the greek antiquity. Preliminary projects include a C++ types serialization generator, and a 3D train game.

This library provides an easy interface to Gnuplot (http://www.gnuplot.info/) from OCaml (http://caml.inria.fr/) for static 2D and 3D graphs and simple animations. This library aims to be portable on all platforms OCaml runs on.

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

a.m.c. is a project aimed to produce arcade games in functional languages, mainly Ocaml, and to test functional languages possibilities in game programming and in general

Database File System; Actually do not think of it as a file system, instead think of it as a document system. And while being precise, it is not database system either, it is a faceted system, It helps to organizes your information nicely.

The MAPeG Geographic Modeler (MGM) will provide you an easy and user-friendly way to visualize your 2D Map into an amazingly stunning 3D view! MGM is a 2nd-Year EPITA Students Project