Ports 搜索

babeltrace provides trace read and write libraries, as well as a trace converter. A plugin can be created for any trace format to allow its conversion to/from another trace format. The main format expected to be converted to/from is the Common Trace Format (CTF). The latest version of the CTF specification can be found at git://git.efficios.com/ctf.git gitweb: http://git.efficios.com/?p=ctf.git The CE Workgroup of the Linux Foundation, Ericsson, and EfficiOS have sponsored this work.

synfig is a vector based 2D animation package. It is designed to be capable of producing feature-film quality animation. It eliminates the need for tweening, preventing the need to hand-draw each frame. synfig features spatial and temporal resolution independence (sharp and smooth at any resolution or frame rate), high dynamic range images, and a flexible plugin system. This package contains the renderer used to convert synfig .sif files to raster images, videos and other formats. Layer types include geometric, gradient, filter, distortion, transformation, fractal and others. Output targets include JPEG, PNG, GIF, BMP, PPM, DV, OpenEXR, ffmpeg (MPEG1), libavcodec (AVI), imagemagick (MIFF), yuv420p and others.

This game is played in a parallelepipede containing PxNxN little cubes. You can first consider this 3D board as P 2D checkerboards of NxN squares. From 2 up to 10 players can confront each other. Each player begins with a certain number of pieces (or armies) that he has to move and make attack. One of his pieces represents him-self (or the chief, or the king, or anything you want). If this piece die, the player is eliminated. The last player staying alive wins. Messages can be sent to the other players , so that alliances can be implemented. A special timer assures that the game remains dynamic.

This is the cosmo gang the puzzle for X Window System. The cosmo gang the puzzle is a tetris-like puzzle game. You can erase cosmo with ball, falling once of several blocks. The star is the bonus charactor to erase all cosmos in the screen but you may also get bonus score without taking an effect. KEYBOARD: Up block rotation. Down block down (1 line) Space block down (Fast) Left left Right right Control Get the score bonus from the star. y Select yes n Select no p Pause game q Quit game

fmars is Fast Memory Array Redcode Simulator A specialized simulator for the game of Corewars. It's designed to be of particular use in automated redcode optimizers and evolvers. fmars borrows the idea from Martin Ankerl's qmars and pushes it to the extreme. It generates source code with special case for every possible opcode/addressing mode combination. This allows some optimizations that aren't possible in other simulators. fmars is compatible with pMARS with an exception for p-space, which is not yet implemented.

XEmeraldia, Drop the blocks. If you drop a square on top of one of the same color, they (as well as any neighboring blocks of the same color) will both be shaken by an "impact". The first impact will cause fractures; the second will cause the block(s) to dissolve. You can either use the arrow keys or vi-style (hjkl) keys to move/ rotate the blocks. `s' or `p' will pause the game, and if your boss comes along, `q' can be used to avoid an unpleasant confrontation. http://www.reloco.com.ar/xemeraldia/

Icon is a high-level programming language with extensive facilities for processing strings and structures. Icon has several novel features, including expressions that may produce sequences of results, goal-directed evaluation that automatically searches for a successful result, and string scanning that allows operations on strings to be formulated at a high conceptual level. The language is described in R. E. Griswold and M. T. Griswold, The Icon Programming Language, Prentice-Hall, Inc., Englewood Cliffs, NJ, second edition, 1990. For more information or assistance, contact: Icon Project voice: (520) 621-6613 Department of Computer Science fax: (520) 621-4246 The University of Arizona P.O. Box 210077 icon-project@cs.arizona.edu Tucson, AZ 85721-0077 U.S.A.

ltl2ba implements an algorithm of P. Gastin and D. Oddoux to generate Buechi automata from linear temporal logic (LTL) formulae. This algorithm generates a very weak alternating automaton and then transforms it into a Buechi automaton, using a generalized Buechi automaton as an intermediate step. Each automaton is simplified on-the-fly in order to save memory and time. As usual the LTL formula is simplified before any treatment. ltl2ba is more efficient than Spin 3.4.1, with regard to the size of the resulting automaton, the time of the computation, and the memory used.

Mpc is a C library for the arithmetic of complex numbers with arbitrarily high precision and correct rounding of the result. It is built upon and follows the same principles as Mpfr. The library is written by Andreas Enge, Philippe Theveny and Paul Zimmermann and is distributed under the Gnu Lesser General Public License, either version 2.1 of the license, or (at your option) any later version. The Mpc library has been registered in France by the Agence pour la Protection des Programmes on 2003-02-05 under the number IDDN FR 001 060029 000 R P 2003 000 10000.

Gone is a utility that locks a terminal with a password chosen by the user. Gone will prompt the user for a password (unless the -p option is given, then gone will use the system password), then print the gone banner, then drop into the gone shell. From this shell, only a restricted set of commands can be run. Gone will also disallow messages by removing permissions on the parent tty. After the timeout period (10 minutes by default), gone will automatically log the user out. -Joe marcus@marcuscom.com