ott-tools

Ott tool (executable)

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

lib64gphobos4-x32-cross

Phobos D standard library (runtime library)

This is the Phobos standard library that comes with the D2 compiler.

libmrpt-tfest2.12

Mobile Robot Programming Toolkit - tfest library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

libgfortran-13-dev-alpha-cross

Runtime library for GNU Fortran applications (development files)

This package contains the headers and static library files needed to build GNU Fortran applications.

libmrpt-topography2.12

Mobile Robot Programming Toolkit - topography library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

libgfortran-13-dev-m68k-cross

Runtime library for GNU Fortran applications (development files)

This package contains the headers and static library files needed to build GNU Fortran applications.