Ports Search

Puff and Blow each have a Methane Gas Gun which fires a cloud of immobilising gas. If this comes into contact with a bad guy he will be absorbed into the gas and then float around the screen for a limited time. Bad guys are harmless in this state. Puff and Blow must suck the floating gas clouds into their guns and blast them out against a vertical surface. Bad guys then turn into bonuses which can be collected. Be warned! - the gas cloud dissolves with time after which baddies become active again and extremely annoyed.

XEvil is a side-view, single or network-multiplayer, fast-action, kill-everything, game for Windows and UNIX. You have sinned in life. Now, you die and go to Hell. XEvil is the contest that determines your fate in Hell for all eternity. At the end of a game, you receive one of many possible rankings. A poor player, for example, may spend the rest of time as "Satan's Earwax Remover", while a good one might achieve a prestigious title such as "VP of Hell Marketing" or even "Lead Software Engineer of Hell".

XPilot is a multi-player tactical manouvring game for X and Unix workstations. Players have a fighter which they move along in an artificial world and shoot each other using various kinds of weapons like bullets, mines, smart missiles, heat seekers and so on. It is a fast paced game with a lot of tactics. There are also robots flying around shooting players and other robots. Players can pickup special bonuses to improve the possibilities of their ship like more engine power or special weapons. The aim of the game is to score points and to have a lot of fun.

GDAL - Geospatial Data Abstraction Library GDAL/OGR is a translator library for raster and vector geospatial data formats that is released under an Open Source license. As a library, it presents a single abstract data model to the calling application for all supported formats. Current translators provide read (and sometimes write) access to a variety of formats including ESRI Shapefiles, S-57, SDTS, PostGIS, Oracle Spatial, Mapinfo mid/mif and TAB, GeoTIFF, Erdas Imagine, ESRI .BIL, .aux labelled raw, DTED, SDTS DEM, JPEG, PNG and Arc/Info Binary/ASCII Grid. A full list of supported data formats is available on the official website.

POV-Ray(TM) Persistence of Vision Ray Tracer The Persistence of Vision(tm) Ray-Tracer creates three-dimensional, photo-realistic images using a rendering technique called ray-tracing. It reads in a text file containing information describing the objects and lighting in a scene and generates an image of that scene from the view point of a camera also described in the text file. Ray-tracing is not a fast process by any means, but it produces very high quality images with realistic reflections, shading, perspective and other effects.

The modules in the stltools package can read and write STL files, perform 3D coordinate transforms and projections. These modules are used by the following provided scripts; stl2pov: Converts the STL model to a mesh usable with the POV-ray raytracer. stl2ps: Creates a view of the STL model in scalable PostScript. stl2pdf: Creates a view of the STL model as a PDF. Requires graphics/py-cairo. stlinfo: Either displays some information about a STL file or prints it in text format.

Nim (formerly known as "Nimrod") is a statically typed, imperative programming language that tries to give the programmer ultimate power without compromises on runtime efficiency. This means it focuses on compile-time mechanisms in all their various forms. Beneath a nice infix/indentation based syntax with a powerful (AST based, hygienic) macro system lies a semantic model that supports a soft realtime GC on thread local heaps. Asynchronous message passing is used between threads, so no "stop the world" mechanism is necessary. An unsafe shared memory heap is also provided for the increased efficiency that results from that model.

Racket is a set of tools for writing and running the PLT scheme programming language. It includes a graphical IDE (drracket) that features highlighting of the source of syntax and run-time errors, support for multiple language levels, an algebraic stepper, objects, modules, a GUI library, TCP/IP, and much more. It includes an extensive, hyper-linked help system called Help Desk, available from the Help menu, the plt-help command line tool, or through a web browser. The racket-textual port provides a text-only version of the Racket environment without X11 dependencies.

From the website: Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". Coq is based on a logical framework called "Calculus of Inductive Constructions" extended by a modular development system for theories. Coq is distributed under the GNU Lesser General Public Licence Version 2.1 (LGPL). CoqIde is installed if the x11-toolkits/ocaml-lablgtk2 port is installed.

Gmm++ is a generic C++ template library for sparse, dense and skyline matrices. It is built as a set of generic algorithms (mult, add, copy, sub-matrices, dense and sparse solvers ...) for any interfaced vector type or matrix type. It can be view as a glue library allowing cooperation between several vector and matrix types. However, basic sparse, dense and skyline matrix/vector types are built in Gmm++, hence it can be used as a standalone linear algebra library. Interfacing a vector or matrix type means writing "traits" objects called "linalg_traits", which describe their properties. The library offers predefined dense, sparse and skyline matrix types.