Free wine 2005 software for linux

DirectX support for Wine project enables DirectX 9 support for Wine, which is useful for games and 3D graphics.
DirectX support for Wine is a set of patches against Wine to implement DirectX 9. It allows modern games and 3D applications to run under Wine.
The patches include many experimental and beta features that have not yet made it into the stable Wine source tree.
The aim of the project is to provide full support for DirectX 8 and 9 so that all games and 3D applications will run on Linux or any other platform that Wine supports.
Main features:
- Shared wined3d codebase for Direct3D 8 and 9
- Hardware non-power2 texstures
- Improved compressed texture support
- Many more texture formats supported
- Offscreen texture improvements
- Colour corrections for textures
- A tonne of bug fixes and other improvements from earlier releases
Enhancements:
- Reworked support for non-power2 textures
- Support for Vertex buffer objects
- Support for caching
- Hardware vertex shaders
- Partial tidyup of vertex declarations
- Better support for compressed textures
- Fix for texturing problems in Axis and Allies and Evil Genius
- Fix for model corruption in Pirates
- Movies in Pirates
- A Fix for the lines on the landscape in Axis and Allies
- Crash fixes in fixupvertices with indexes data
- Numerous other performance improvements

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.

Wine is an Open Source implementation of the Windows API on top of X and Unix.
Think of Wine as a compatibility layer for running Windows programs. Wine does not require Microsoft Windows, as it is a completely free alternative implementation of the Windows API consisting of 100% non-Microsoft code, however Wine can optionally use native Windows DLLs if they are available. Wine provides both a development toolkit for porting Windows source code to Unix as well as a program loader, allowing many unmodified Windows programs to run on x86-based Unixes, including Linux, FreeBSD, and Solaris.
Main features:
Binary Compatibility
- Loads Windows 9x/NT/2000/XP, Windows 3.x and DOS programs and libraries
- Win32 compatible memory layout, exception handling, threads and processes
- Designed for POSIX compatible operatings systems (eg. Linux and FreeBSD)
- ``bug-for-bug compatibility with Windows
Graphics
- X11-based graphics allows remote display to any X terminal
- X11, TrueType (.ttf/.ttc) and Windows Bitmap (.fon) Fonts
- DirectX support for games (limited Direct3D support)
- Printing via PostScript driver or legacy native Win16 printer drivers
- Enhanced Metafile (EMF) and Windows Metafile (WMF) driver
- Desktop-in-a-box or mixable windows
- Windows MultiMedia (WinMM) layer support with builtin codecs
Allows Windows program to interface with:
- Sound devices via ALSA, OSS, ARTS, JACK, and libaudio etc
- Multi-lingual keyboards and CJK input method support via XIM
- Modems, serial devices
- Networks (TCP/IP and IPX)
- ASPI Scanners
- Windows Tablets via XInput (eg. Wacom)
Wine API
- Designed for source and binary compatibility with Win32 code
- Win32 API test suite to ensure compatibility
- Compilable on a wide range of C compilers
- Permits mixing of Win32 and POSIX code
- Permits mixing of ELF (.so) and PE (.dll/.exe) binaries in one address space
- Win32 compatible header files
- Automatically generated API documentation
- Resource compiler
- Message compiler
- IDL compiler
- extensive Unicode support
- Internationalization -- Wine supports 16 languages
- Built-in debugger and configurable trace messages
- External memory checker support using Valgrind
- Sample programs
Enhancements:
- Direct3D support on top of WGL instead of GLX for better portability.
- Many DirectSound fixes.
- Still more gdiplus functions.
- Many crypt32 improvements.
- Lots of bug fixes.

Wine-doors is an application designed to assist users in obtaining, installing, uninstalling and working around the caveats associated with wine applications.

Although wine doors is intended to be a replacement for winetools it is not limited to release cycles for the applications available to install, instead a web service will be provided, this web service will serve XML Pack Lists and Application Packs as well as various other resources.

Using a web service to connect users to applications means the service can be community managed thus splitting application installation and configuration from the user interface used to install the applications.

LormaLINUX is Lorma Colleges very own Linux Distribution that has been optimized and customized to meet the needs of educational institutions and its students.

It is a full-featured Operating System specifically created for ease of installation, ease of use and functionality.

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.

BeatrIX Linux 2005.1 FINAL is a less-than-200-meg Debian/Ubuntu Linux that is a live-CD/installable to hard drive distribution featuring kernel 2.6.7, Gnome 2.8.1, Firefox 1.03 w/AdBlock, Evolution 2.01, GAIM 1.03, Open Office 1.1.2, Apt, PDF viewer, image viewer, plus much, much more. It is expandable through both the Debian and Ubuntu repositories and is one of the fastest-growing Linuxes in the world.
It is a "get-the-job-done distribution of Linux and because of its design, will run on just about any personal computer made in the past 10 years with a minimum of 64 megabytes of RAM.
The programs chosen for BeatrIX are all "best-of-breed" meaning weve selected the best of the best of each type of program.
If you install it to hard drive, you can upgrade and add to the system using the Ubuntu and/or Debian file repositories, turning it into just about any type of operating system you want. You can install everything from Web servers to Wed editors. And ll of this from a mini-CD!
It is one of the fastest-growing Linuxes in the world, having been downloaded in more than 110 countries and more than 50,000 times since its release four months ago.

Yasminas Quest is an open source game (and motor) mix of graphical point-and-click adventure and text adventure written in PHP and DHTML (JavaScript, CSS and HTML) that uses mouse and keyboard optionally.

Yasminas Quest was tested under BeOS, Linux, *BSD, Windows, etc.