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.