Free crc 2005 software for linux

Cube is an open source multiplayer and singleplayer first person shooter game built on an entirely new and very unconventional engine.

Cube is a landscape-style engine that pretends to be an indoor FPS engine, which combines very high precision dynamic occlusion culling with a form of geometric mipmapping on the whole world for dynamic LOD for configurable fps & graphic detail on most machines. Uses OpenGL & SDL.

Allows in-engine editing of geometry in full 3D (you fly around the map, point / drag stuff to select it / modify it), which can even be done simultaneously with others in multiplayer (a first!). Has simplistic but effective fine grain vertex lighting that looks like lightmapping and can do dynamic lights & shadows.

Doesnt need any kind of map precompilation, even lighting is done on the fly. Has very simplistic quad-tree world structure that can do slopes (heightfields with caps) and slants, water, does decent collision detection & physics, has client/server networking that goes a long way in giving a lag-free game experience, and features a Doom/Quake-style singleplayer (2 game modes, savegames) and multiplayer (12 game modes, master server / server browser, demo recording) game with some uncompromising brutal oldskool gameplay.

Most of the engine design is targeted at reaching feature richness through simplicity of structure and brute force, rather than finely tuned complexity.

Sanvirc is a script for KVirc that includes funtions like: nick identification, autojoin, defense, atack, bots management, away system, etc.
At the moment works whis IRC-Hispano bots but is very easy to adapt to other servers.
Enhancements:
- AutoawayOn y AutoAwayOff
- Sugerencias para el Sanvirc

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.
Compared with similar tools, Isabelles distinguishing feature is its flexibility. Most proof assistants are built around a single formal calculus, typically higher-order logic. Isabelle has the capacity to accept a variety of formal calculi. The distributed version supports higher-order logic but also axiomatic set theory and several other formalisms. See logics for more details.
Isabelle is a joint project between Lawrence C. Paulson (University of Cambridge, UK) and Tobias Nipkow (Technical University of Munich, Germany).
Main features:
- Interpretation of locale expressions in theories, locales, and proof contexts.
- Substantial library improvements (HOL, HOL-Complex, HOLCF).
- Proof tools for transitivity reasoning.
- General find_theorems command (by term patterns, as intro/elim/simp rules etc.).
- Commands for generating adhoc draft documents.
- Support for Unicode proof documents (UTF-8).
- Major internal reorganizations and performance improvements.

ram2ogg project uses xine to download the audio from a real audio URL and uses oggenc to convert this to a ogg vorvis audio file.

OPTIONS:

-D level

Print diagnostic messages while executing. The value of level must be an integer. The higher the number, the more verbose the diagnostic output will be.

--help or -h

Print the command line syntax an option details.

-v

Print the program description and version.

-o filename

Save the results in filename. By default the basename of the requested URL is use with ``.ram turned into ``.ogg.

-q n

Set the ogg quality. This is a value between 0 and 10, where 10 is the best quality/largest files, and 0 is the worst quality/smallest files. The default is 3. Note that using higher values isnt going to help very much -- real audio compression is typically pretty aggressive and the quality isnt that great.

mpodder is a simple command line based podcast receiving (podcatching) tool. mpodder is written in perl and should run quite happily on Linux, the BSDs etc.

The intent is for mpodder to be called from cron. It will notify the user of new content by email or a kdialog/xmessage popup. mpoddercan download only feed items from the last n days, and feeds can be brought up to date withouot having to download all old items (using the "catchup" command).

Examples

Listing current feeds

To see what feeds mpodder is currently looking at, use the listoperation:

% mpodder list
http://www.lugradio.org/episodes.rss
http://www.thepodcastnetwork.com/linuxuser/feed/
http://downloads.bbc.co.uk/rmhttp/downloadtrial/worldservice/godigital/rss.xml
http://radio.linuxquestions.org/syndicate/lqpodcast.php
http://feeds.feedburner.com/techpodcasts
http://linux.quicksurf.com/wp-rss2.php?cat=78
http://slashdotreview.com/wp-rss2.php
http://feeds.feedburner.com/twit
http://www.joshmcadams.com/perlcast/index.xml

If you provide a second parameter, the list will be filtered. All filteres in mpodder are using perl style regular expressions:

% mpodder list linux
http://www.thepodcastnetwork.com/linuxuser/feed/
http://radio.linuxquestions.org/syndicate/lqpodcast.php
http://linux.quicksurf.com/wp-rss2.php?cat=78

Adding feeds

Adding a feed to mpodder is simple, just use the add operation, followed by the URL of the feed:

% mpodder add http://lugradio.org/episodes.rss

Removing feeds

To remove a feed, use the remove parameter and a filter. All feeds matching the filter will be removed

% mpodder remove lugradio

Removed feed: http://www.lugradio.org/episodes.rss

Removed 1 feeds from list

Fetching feeds

Fetching everything (all new items in all feeds) is the default operation of mpodder. To do this simply omit any parameters on the command line:

% mpodder

You can specify a filter to only download feeds whose URL matches the filter:

% mpodder fetch lugradio

Catching up feeds

If youve just added a new feed, but dont want to download all the items in the feed, use the catchup operation. The parameter is a filter pm the URL of the feed:

% mpodder catchup lugradio

Caught up with 3 feeds

Checking what would be done

Most operations in mpodder can be simulated using the --pretend option. This is like -n in GNU make. Instead of actually doing the operation that is requested, a message is printed saying what would be done if the --pretend option were removed:

% mpodder --pretend fetch lugradio

would fetch: http://lugmirror.pcproff.com/lugradio-s2e17-060605-high.mp3

Getting more information on what mpodder is doing

The --verbose and --debug=n options can be used to make mpodder print out more information that usual about what it is doing. Nice for the curious. The parameter to --debug is an integer from 1 to 10.

LVE is a frame and GOP accurate editing of MPEG1/2 video files. Differnet mpeg
formats are supported:

program streams ("PS") including DVD conform vob format,
single elemtary video streams ("ES").
multiplexed, packed elementary A/V streams ("PES"), often used by DVB recording software.
transport streams ("TS") - one video pid, but multiple audio pids. its a further DVB format
(restriction: no error detection/correction, program tables wont be analyzed).
PVA streams (experimental), used by some DVB recording MS-soft.

The cutting engine is based on a self coded frame-server (demuxer) whos working on a special frame-index, which guaranties exact seeking to every frame. The "libmpeg2" of "mpeg2dec-0.3.1"-package is used to decode video data. audio data will be decoded with help of "ffmpeg-0.4.x". Furthermore lve can use external audio files encoded in "WAV"-format.

su-smack project is an implementation of JEP-0060 for SMACK.

Admelix is a live CD distribution based on Ubuntu Linux with tools for business administration.

Its main objective is to guide managers of small and medium-size businesses towards GNU/Linux and open source software.

In addition to the live CD, the projects web also provides information about open and free tools for business administration.

Software included in this version are:

Financial: FacturaLUX lite 1.8, Gnofin 0.8.4, GnuCash 1.8.10, Gretl 1.4.1, Grisbi 0.5.7, Linuxtrade 3.65

Office: Abiword 2.4.1, Clara OCR 20031214, Evolution 2.4.1, Planner 0.13, Glabels 2.0.2, Gnumeric 1.5.90, OpenOffice 2.0 OpenOffice Base, OpenOffice Calc, OpenOffice Draw, OpenOffice Writer, OpenOffice Math, OpenOffice Impress, PlanMaker (rev 273), TextMaker (rev 406), Scribus 1.2.2.1, Gtodo 0.14.

Programming: Amaya 8.5, Anjuta 1.2.4, BlueFish 1.0.1, Glade 2.12.0, Mono 1.1.8.3, MonoDevelop 0.7, NVU 1.0, Postgresql 8.0

Graphics: DIA 0.94, GIMP 2.2, QCAD 2.0.4.0, Sodipodi 0.34

Internet: Firefox 1.0.7, GAIM 1.5, Thunderbird 1.0.7, Bittorrent 3.4.2, XChat 2.4.4, gFTP 2.0.18, Gnomemeeting 1.2.2