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.