Zero Install is a decentralised cross-distribution software installation system.

Features include full support for shared libraries (with a SAT solver for dependency resolution), sharing between users, and integration with native platform package managers.

It supports both binary and source packages, and works on Linux, OS X, Unix and Windows systems. It is fully Open Source.

Add64 is an additive modular software synthesizer for generating sounds. Unlike other software synthesizers -- that use a skeuomorphic interface of knobs, sliders and buttons, Add64 displays a spectral graph and allows the user to modify the oscillators and related parameters.

CAMotics is an Open-Source software which can simulate 3-axis NC machining. It is a fast, flexible and user friendly simulation software for the DIY and Open-Source community.

At home manufacturing is one of the next big technology revolutions. Much like the PC was 30 years ago. There have been major advances in desktop 3D printing (e.g. Maker Bot) yet uptake of desktop CNCs has lagged despite the availability of cheap CNC machines. One of the major reasons for this is a lack of Open-Source simulation and CAM (model to tool path conversion) software. CAM and NC machine simulation present some very difficult programming problems as evidenced by 30+ years of academic papers on these topics. Whereas 3D printing simulation and tool path generation is much easier. However, such software is essential to using a CNC.

(null)

COPASI is a software application for simulation and analysis of biochemical networks and their dynamics.

COPASI is a stand-alone program that supports models in the SBML standard and can simulate their behavior using ODEs or Gillespie's stochastic simulation algorithm; arbitrary discrete events can be included in such simulations.

COPASI carries out several analyses of the network and its dynamics and has extensive support for parameter estimation and optimization. COPASI provides means to visualize data in customizable plots, histograms and animations of network diagrams.

MODELS Models in COPASI are based on reactions that convert a set of species into another set of species. Each species is located in a compartment, which is a physical location with a size (volume, area, etc). This maps directly to biochemical reaction networks, but can also represent other types of processes (for example, the species could be cell types). COPASI automatically converts the reaction network to a set of differential equations or to a system of stochastic reaction events — the user does not have to write down the math explicitly, the software does that. Models can also have: * Unlimited number of species, reactions, and compartments. * Arbitrary discrete events; these can be used to change the model, or just to monitor the progress of simulations. * Arbitrary differential equations; these have to be added explicitly by the user and can be mapped to species, compartments, or generic variables. * Compartments can have variable sizes (ie they can be variables of the model). * The rates of reaction can be picked from a set of predefined kinetic functions (the most common in biochemistry), or arbitrary functions defined by the user. Models can be visualized through * the GUI interface, with tables for reactions, species, compartments, etc.; * an arbitrary number of network diagrams (including an SBGN-compliant option); * the full set of differential equations; these can be exported in Latex or MathML formats. COPASI can import and export models in the SBML format (levels 1 to 3). Models can also be exported in XPP format, Berkeley Madonna format, and as C code (in addition to MathML and Latex). SIMULATION Simulation can be performed either with stochastic kinetics or with differential equations, and the software easily allows switching between them. The software provides an interface to create parameter scans (sweeps), parameter sampling and repeated simulations — including complex simulation scenarios mixing parameter samples with scans and repeats of simulations (or other analyses). Algorithms available for simulation: * LSODAR for ordinary differential equation modeling. * Gillespie's direct method for exact stochastic kinetics. * Gibson-Brooke's version of Gillespie's algorithm for exact stochastic kinetics. * τ-leap algorithm for faster (approximate) stochastic kinetics. * Adaptive SSA/τ-leap algorithm for faster (approximate) stochastic kinetics. * Hybrid Runge-Kutta/SSA for hybrid simulations with stochastic kinetics and differential equations. * Hybrid LSODA/SSA for hybrid simulations with stochastic kinetics and differential equations. Simulations can be of time courses or steady states. ANALISYS Models can be analyzed and modified with a large set of methods: * Stoichiometric analysis of the reaction network, including mass conservation analysis and elementary flux modes. * Optimization of arbitrary components of the model using a range of diverse algorithms. * Parameter estimation using a range of diverse optimization algorithms. This can be done over several different experiments simultaneously, including mixtures of steady-state and time course experiments. * Local sensitivity analysis. * Metabolic control analysis (a special form of sensitivity analysis). * Time scale separation analysis; this allows definition of fast and slow components of the model, in a time-dependent way. * Analysis of stochasticity using the linear noise approximation (allows estimating variances and co-variances even in the presence of large numbers of particles). * Cross sections, which allow to characterize non-linear dynamics properties, such as oscillations and chaos. * Lyapunov exponents, which allows to establish if the system dynamics are chaotic. DATA VISUALIZATION COPASI allows users to visualize data in various ways: * Network diagrams can be used to visualize time course simulations as movies; * Network diagrams can also be used to visualize mass conservation moieties, and elementary flux modes; * Arbitrary 2D plots of any model variables and parameters (including trajectories in phase space); * A series of plots that are most commonly used are already pre-defined; * Color-coded matrices, for easily identifying large and small values; * 3D bar chart representation of matrices DATA OUTPUT COPASI allows users to define report files where data is written to during simulations and analyses. These report files are useful for importing data onto other applications for further analysis and visualization.

"Cube" (CUBE Uniform Behavioral Encoding) is a presentation component suitable for displaying a wide variety of performance data for parallel programs including MPI and OpenMP applications.

Program performance is represented in a multi-dimensional space including various program and system resources. The tool allows the interactive exploration of this space in a scalable fashion and browsing the different kinds of performance behavior with ease. All metrics are uniformly accommodated in the same display and thus provide the ability to easily compare the effects of different kinds of program behavior.

"Cube" also includes a library to read and write performance data as well as operators to compare, integrate, and summarize data from different experiments.

The Cube 4.x release series uses an incompatible API and file format compared to previous versions, however, existing files in CUBE3 format can still be processed for backwards-compatibility.

This is free, open source multiplatform (java) application which allows you to play ANY card game.

The game is designed especially to play collectible card games like Magic the Gathering or Doomtrooper over network.

To play those games you need to own (scanned) images of card, which are not part of this package.

Some can be easily downloadable from internet, but be aware of copyrights. The default deck and background is free of copyright Also please feel free to add your own backgrounds to ~/CardManager/data/backgrounds and of course enhance collection under ~/CardManager/collection .

GNUSim8085 is a simulator for that emulates the Intel 8085 -- an 8 bit microprocessor that was first released in 1977. This simulator features a keypad for writing assembly code with ease, as well as stack, memory and port viewers which are useful for debugging 8085 assembly code.

scanmem is a simple interactive debugging utility, used to locate the address of a variable in an executing process. This can be used for the analysis or modification of a hostile process on a compromised machine, reverse engineering, or as a "pokefinder" to cheat at video games. GameConqueror aims to provide a CheatEngine-alike interface for scanmem, it's user-friendly and easy to use.

Features:

• Locking on multiple variables
• Memory Viewer/Editor
• ... many to be done

LibreAtlas is an open source geography application for viewing and browsing digital atlases. LibreAtlas opens digital atlases in the libreatlas database format. The upstream LibreAtlas homepage has a list of compatible atlases available for download.

Hugin Batch Processor is a component of hugin that provides functionality to stitch multiple projects in a batch queue. Its goal is to make stitching of multiple projects faster.

The process of stitching multiple projects is simplified using a queue of projects. The user can add/edit/delete projects in the queue.

The Batch Processor can queue the creation of the final project. Hugin Batch Processor consists of a list of projects. Projects in the list are in sequential order. By default, the list is reinstated every time you open the application. What is more, entire queue of projects can be saved and reopened later using buttons Clear Batch, Open Batch, Save Batch.

PTBatcherGUI is installed when you install hugin.

TOPPAS is the OpenMS TOPP Pipeline Assistant. It can create processing pipelines using OpenMS TOPP tools as building blocks.

OpenMS is a powerful set of tools as well as a C++ library to process low and high-resolution LC-MS(-MS) mass spectrometry data.

OpenMS is modular, consisting of more than 80 chainable TOPP tools (executables). It features a graphical data viewer (TOPPView), a pipeline editor (TOPPAS) and wrappers for most tandem-MS search engines (like Mascot, MSGF+ and X!Tandem). The OpenMS library itself comes with Python bindings for rapid prototyping.

TOPPView is a viewer for MS and HPLC-MS data supporting many common formats, e.g. mzML, mzData, mzXML and several others. The viewer supports 1D, 2D, 3D views, zooming, distance measurements and data annotations. It also allows to run many OpenMS TOPP tools and immediately inspect the data.

OpenMS is a powerful set of tools as well as a C++ library to process low and high-resolution LC-MS(-MS) mass spectrometry data.

OpenMS is modular, consisting of more than 80 chainable tools (executables). It features a graphical data viewer (TOPPView), a pipeline editor (TOPPAS) and wrappers for most tandem-MS search engines (like Mascot, MSGF+ and X!Tandem). The OpenMS library itself comes with Python bindings for rapid prototyping.

YAGF is a program used to control image scanning and text recognition operations from a single control center. Apart from th scanner almost any graphics file may be used as a source. Also YAGF possesses some image-enhancement capabilities like the auto-contrast adjustement and noise removal that make the scanned pages recognition less error-prone.

Other features include:

• PDF and multi-page TIFF export with the subsequent text recognition
• Recognizing text typed in very small letters
• Spellchecker-assisted optional correction
• Text is split into blocks automatically
• Recognizing text written in two languages (like texts in textbooks or technical texts written in one language and containing some terms in other language.

Once installed, YAGF inspects its environment and automatically finds required external programs (like Tesseract OCR and its data files) if they are present so that there is no need to configure it manually by finding and entering program paths. If some required tools are not present in the system the user will be notified of this.

YAGF's Intended audience includes everybody who needs to recognize scanned text, but the people who should benefit most are translators, teachers, digitized text libraries makers and those who switch their business from paper-based to paperless workflow.

In the 13th century, the Cathars, who preach about good Christian beliefs, were being expelled by the Catholic Church out of the Languedoc region in France.

One of them, called Jean Raymond, found an old church in which to hide, not knowing that beneath its ruins lay buried an ancient evil.

A style close to Spectrum ZX, with its dark background and bright colors, proper fit with the story, because it does look old and somewhat horrifying. Also, the gameplay is direclty inspired by Manic Miner and Jet Set Willy.

Abe's Amazing Adventure is a scrolling, platform-jumping, key-collecting, ancient pyramid exploring game, vaguely in the style of similar games for the Commodore+4.

The game is intended to show young people (I'm writing it for my son's birthday) all the cool games they missed.

AbiWord is a free word processing program similar to Microsoft® Word. It is suitable for a wide variety of word processing tasks.

AbiWord allows you to collaborate with multiple people on one document at the same time. It is tightly integrated with the AbiCollab.net web service, which lets you store documents online, allows easy document sharing with your friends, and performs format conversions on the fly.

ADMeshGUI is a desktop application to view and manipulate STL 3D models. It supports viewing STL files and export them in STL, VRML and DXF formats.

Models can be viewed in 3 modes: solid, solid with highlighted edges and wireframe; they can also be manipulated, such as scaled, mirrored, rotated or translated. Files can also be split, merged or repaired.

Aeskulap is able to load a series of special images stored in the DICOM format for review. Additionally Aeskulap is able to query and fetch DICOM images from archive nodes (also called PACS) over the network.

The goal of this project is to create a full open source replacement for commercially available DICOM viewers.

Alexandria is an application that allows you to manage your book library. It lets you build and keep a detailed database (on your local machine) of information about books you own and have read.

Alexandria also allows you to rate books, note when you have read them, and even track who you have loaned books out to. It also has interfaces with a online book information sources so you don’t have to type in all the information about a book, and also provides book cover art for many books.

Do you like old school deathmatch with modern features? How about rich, colorful, arcadelike atmospheres? How about...retro Sci Fi? Then you're going to love what Alien Arena has in store for you! This game combines some of the very best aspects of such games as Quake III and Unreal Tournament and wraps them up with a retro alien theme, while adding tons of original ideas to make the game quite unique.

Alien Arena is a furious frag fest with arenas ranging from the small, to the massive. With a large built-in player base, it's never hard to find a good match going on, at any hour of the day. The community is friendly, as well as prolific. Dozens of maps, models, and various accessories have been created by community members to add on to the game experience.

The CRX engine that powers Alien Arena has received very signifigant upgrades in recent releases, resulting not only in stunning new visuals, but vastly increased performance as well.

Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics.

Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers.

Amoebax is a cute action puzzle game where pairs of amoeba fall down, and when you match 4 colored amoeba in a row or column they disappear. There are 6 levels of difficulty, and also a split-screen mode to battle the amoeba-matching fun with a friend.

Amsynth is an analog modelling (a.k.a virtual analog) software synthesizer. It mimics the operation of early analog subtractive synthesizers with classic oscillator waveforms, envelopes, filter, modulation and effects. The aim is to make it easy to create and modify sounds.

Features:

• Dual oscillators (sine / saw / square / noise) with hard sync
• 12/24 dB/oct resonant filter (low-pass / high-pass / band-pass / notch)
• Mono / poly / legato keyboard modes
• Dual ADSR envelope generators (filter & amplitude)
• LFO which can modulate the oscillators, filter, and amplitude
• Distortion and reverb
• Hundreds of presets

There are currently several different ways to run amsynth:

• Stand-alone application using JACK, ALSA or OSS
• DSSI plug-in
• LV2 plug-in
• VST plug-in

Antimony is a computer-aided design (CAD) tool from a parallel universe in which CAD software evolved from Lisp machines rather than drafting tables.

Antimony provides the Python3 Fab module that is a set of software tools for personal fabrication, intended for use with machines common to fab labs. For info about Fab visit kokompe.cba.mit.edu/.

ANTLRWorks is a novel grammar development environment for ANTLR v3 grammars written by Jean Bovet (with suggested use cases from Terence Parr). It combines an excellent grammar-aware editor with an interpreter for rapid prototyping and a language-agnostic debugger for isolating grammar errors. ANTLRWorks helps eliminate grammar nondeterminisms, one of the most difficult problems for beginners and experts alike, by highlighting nondeterministic paths in the syntax diagram associated with a grammar. ANTLRWorks' goal is to make grammars more accessible to the average programmer, improve maintainability and readability of grammars by providing excellent grammar navigation and refactoring tools, and address the most common questions and problems encountered by grammar developers.

APX is a QIX clone with minor differences in gameplay from the original.

• Use arrow keys to move around the perimeter of square, hold down Space or Shift to cut into the area. Connect back to perimeter to claim the area.
• Your objective is to claim 75% or more to proceed to the next level
• Claiming with Shift key will be slower but give you double the points.
• For every claimed full percent over 75% you get extra 1000 points.

This package contains the legacy version 2 of Ardour. It is provided as a way to work on sessions created by this version. Please use the current version of Ardour for new projects.

Ardour is a digital audio workstation that permits you to record and create music. Ardour supports multi-track recording, and allows you to use plug-ins to create music in a virtual studio.

Ardour is a multi-channel digital audio workstation, allowing you to record, edit, mix and master audio and MIDI projects.

It is targeted at audio engineers, musicians, soundtrack editors and composers.

Ardour is a multi-channel digital audio workstation, allowing you to record, edit, mix and master audio and MIDI projects.

It is targeted at audio engineers, musicians, soundtrack editors and composers.

Armagetron is a 3D Tron-inspired game where the player controls a motorcycle that emits a immovable wall behind it. Gameplay consists of 2 of these cycles battling to trap each other to force their opponent to crash into the wall.

Advanced Strategic Command is a free, turn based strategy game. It is designed in the tradition of the Battle Isle series from Bluebyte and is currently available for Windows and Linux.

ASC can be played both against the AI and against other human players, using hotseat or PlayByMail. It is also used to run the multiplayer universe Project Battle Planets.

Ascii Design is a free program, based on figlet engine, that enables you to create awesome ascii art text.

You can create art based text for many types of decorations for web sites, e-mail, text files etc...

Ascii Design is able to use dozens of special fonts to create various styles of ascii arts.

Astromenace is a 3D scrolling space shooter with amazing graphics and intense gameplay.

You have a range of vehicles to choose from and numerous weapons that can be upgraded as you repel wave after wave of spaceships and dodge space objects.

Atomic Tanks is a turn based artillery strategy game where opponents take turns to bombard each other with a wide array of different weapons. To make things more interesting, Atomic Tanks also features desctructable landscapes, teleporting, parachutes and different weather conditions.

Audacious is an open source audio player. Originally a descendant of XMMS, Audacious plays your music how you want it, without stealing away your computer’s resources from other tasks.

Drag and drop folders and individual song files, search for artists and albums in your entire music library, or create and edit your own custom playlists. Listen to CD’s or stream music from the Internet. Tweak the sound with the graphical equalizer or experiment with LADSPA effects. Enjoy the modern GTK-themed interface or change things up with Winamp Classic skins. Use the plugins included with Audacious to fetch lyrics for your music, to set an alarm in the morning, and more.

Audacity® is a free, easy-to-use, multi-track audio editor and recorder for Windows, Mac OS X, GNU/Linux and other operating systems. The interface is translated into many languages.

You can use Audacity to:

• Record live audio
• Convert tapes and records into digital recordings or CDs
• Edit WAV, AIFF, FLAC, MP2, MP3 or Ogg Vorbis sound files
• Cut, copy, splice or mix sounds together
• Change the speed or pitch of a recording
• Apply a wide range of other effects to audio recordings

An advanced molecular editor designed for cross-platform use in computational chemistry, molecular modeling, bioinformatics, materials science, and related areas, which offers flexible rendering and a powerful plugin architecture.

Avogadro is an advanced molecular editor designed for cross-platform use in computational chemistry, molecular modeling, bioinformatics, materials science, and related areas. It offers flexible rendering and a powerful plugin architecture. The code in this repository is a rewrite of Avogadro with source code split across a libraries repository and an application repository. Core features and goals of the Avogadro project: * Open source distributed under the liberal 3-clause BSD license * Cross platform with nightly builds on Linux, Mac OS X and Windows * Intuitive interface designed to be useful to whole community * Fast and efficient embracing the latest technologies * Extensible, making extensive use of a plugin architecture * Flexible supporting a range of chemical data formats and packages

Two castles, separated by a mountain, try to defeat each other with their cannonballs, either by killing the opponent's king or by weakening the opponent enough so that the king capitulates.

Ballerburg was originally written 1987 by Eckhard Kruse, for the Atari ST machines (which were brand new computers at that point in time). Over 25 years later, here's finally the adaption of the original source code to modern operating systems.

The game is a platformer with some puzzle elements. You take control of a ball which is genetically modifed by the British secret service. Your mission is to rescue captured British soldiers from a prison in Iran.

The game was written in 72 hours for the TINS competition, a competition similar to Speedhack. The name TINS is an recursive acronym for 'TINS is not Speedhack'.

Barrage is a fast paced shooter game where the objective is to destroy targets like soldiers, tanks and jeeps within 3 minutes.

The player controls a gun that shoots small and large grenades at fast moving targets and you need to manage your aim, ammo and re-load times carefully.

Berusky is a 2D puzzle game where you control up to 5 bugs that have to work together to solve puzzles by moving boxes, using keys and blowing up explosives.

Biloba is a board game for 2 to 4 players that involves moving pawns around on an octagonal board with square cells. The goal of bilboa is to remove all of your opponent's pawns. Bilboa can be played both against AI and real opponents.

Blob Wars: Metal Blob Solid is a 2D side scrolling platformer where you control Bob, (a blob secret agent) through 25 missions to rescue other blobs and stop the evil alien leader: Galdov.

Battle tanks is a fun filled old school style scrolling battle tank game.

It has original cartoon style graphics and sound track and is multiplayer focused. Choose from 3 different vehicles and destroy your enemies using a large assortment of weapons.

Explore a fantasy world in this turn based single-player role-playing game. Use powerful magic to devastate evil creatures. Solves puzzles to unlock hidden secrets. Save the world and let bards entertain travellers with the tale of your band of heroes.

Not satisfied with crushing the evil forces. Build a new world to share with others. Create new monsters to terrorize the adventurers. Design items to reward them for victory. Leave devious puzzles to vex the heroes. Your imagination is the only limit.

bzflag is a multiplayer tank battle game with "retro" 3D style graphics.

Caja is the official file manager for the MATE desktop. It allows for browsing directories, as well as previewing files and launching applications associated with them. It is also responsible for handling the icons on the MATE desktop. It works on local and remote file systems.

Caja is extensible through a plugin system, similar to that of GNOME Nautilus, of which Caja is a fork.

The calibre e-book editor allows you to edit the text and styles inside the book with a live preview of your changes.

It can edit books in both the EPUB and AZW3 (kindle) formats. It includes various useful tools for checking the book for errors, editing the Table of Contents, performing automated cleanups, etc.

The calibre E-book viewer allows you to read e-books in over a dozen different formats.

It has a full screen mode for distraction free reading and can display the text with multiple columns per screen.

Calibre is used to manage a collections of e-books in many popular formats. Books may be viewed, or converted between e-pub, MOBI, and similar formats. Searching by author, title, other metadata, and user defined characteristics is possible.

This is one of the most versatile and feature-full e-book viewers.

Cardpeek is a cross-platform graphical tool to read the contents of smart cards, including:

It features a GTK GUI to represent card data is a tree view, and is extensible with a scripting language (LUA).

The goal of this project is to allow smart card owners to be better informed about what type of personal information is stored in these devices.

Catfish is a small, fast, and powerful file search utility. Featuring a minimal interface with an emphasis on results, it helps users find the files they need without a file manager. With powerful filters such as modification date, file type, and file contents, users will no longer be dependent on the file manager or organization skills.

Catfish is a small, fast, and powerful file search utility. Featuring a minimal interface with an emphasis on results, it helps users find the files they need without a file manager. With powerful filters such as modification date, file type, and file contents, users will no longer be dependent on the file manager or organization skills.

cave9 is 3D cave exploration game based on the SF-cave game. You control a jet that maneuvers through a series of caves and the objective of the game is to avoid colliding with the cave walls.

cbrPager is a simple comic book reader application with the ability to change pages and zoom. It features the ability to open and read cbr, cb7 and cbz comic book archives that contain PNG and JPEG images.

A CCD capture software intended for the amateur astronomer.

It include all the features required to perform digital imaging CCD observation of celestial objects.

Using the standard drivers protocol INDI and ASCOM it can connect and control the CCD camera, the focuser, the filter wheel and the telescope mount.

"ccGo" allows you to play the popular chinese strategy game "Go" agains your computer or other players on the internet.

Celestia provides photo-realistic, real-time, three-dimensional viewing of the Solar System, the galaxy and the universe.

It is an easy to use, freely-distributed, multi-platform, open source, software package which has become a valuable tool for astronomy education. Used in homes, schools, museums and planetariums around the world, it also is used as a visualization tool by space mission designers.

Clementine is a multiplatform music player focusing on a fast and easy-to-use interface for searching and playing your music.

Summary of included features:

• Search and play your local music library
• Listen to internet radio from Last.fm, SomaFM and Magnatune
• Tabbed playlists, import and export M3U, XSPF, PLS and ASX
• Visualisations from projectM
• Transcode music into MP3, Ogg Vorbis, Ogg Speex, FLAC or AA
• Edit tags on MP3 and OGG files, organise your music
• Download missing album cover art from Last.fm
• Native desktop notifications using libnotify
• Supports MPRIS, or remote control using the command-line
• Remote control using a Wii Remote, MPRIS or the command-line
• Copy music to your iPod, iPhone, MTP or mass-storage USB player

ClipIt is a lightweight, fully featured GTK+ clipboard manager. It was forked from Parcellite, adding additional features and bug-fixes to the project.

ClipIts main features are:

• Save a history of your last copied items
• Search through the history
• Global hot-keys for most used functions
• Execute actions with clipboard items
• Exclude specific items from history

Code::Blocks is a highly extensible Integrated Development Environment (IDE) for the C, C++ and Fortran programming languages. It features support for a wide range of compilers, parallel builds, multi-target projects, and also provides an interface with GNU GDB.

The code editor in Code::Blocks features: syntax highlighting, code folding, a tabbed interface, code completion, a class browser and smart indenting.

Colossus is a clone of Avalon Hill's "Titan" Board game.

It is a fantasy board game where you lead an army of mythological creatures against other players.

Vocal is the best way to find interesting new podcasts, maintain a growing library, and enjoy audio and video shows that automatically get updated with new content.

Features include:

• Audio and video podcast support
• Built-in iTunes podcast store browsing and search
• Episode streaming and downloading
• Custom skip intervals
• Full system integration
• Automatic downloads
• Smart library management
• Playback position saving
• Library importing and exporting
• ... and much more!

Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system.

This package provides Coqide, a lightweight IDE for Coq.

Dungeon Crawl Stone Soup is a free roguelike game of exploration and treasure-hunting in dungeons filled with dangerous and unfriendly monsters in a quest for the mystifyingly fabulous Orb of Zot.

Dungeon Crawl Stone Soup has diverse species and many different character backgrounds to choose from, deep tactical game-play, sophisticated magic, religion and skill systems, and a grand variety of monsters to fight and run from, making each game unique and challenging.

Crossfire is an open source RPG with numerous maps that can be explored for treasures and artifacts.

Datovka is a multiplatform desktop application to access Datove schranky.

Datovka allows receiving, sending, and checking integrity of messages, exporting proofs of delivery or full messages, exporting complete coresspondence for a defined period, etc..

The user interface is very similar to common e-mail clients.

Diffuse is a tool for visually merging and comparing text files side by side. Diffuse is can visually compare an 2 or more text files against each other, and also allows users to manually adjust line matching and directly edit files. It also supports viewing revisions and merging files in source control management systems (SCM),with support for popular SCMs such as Bazaar, Git, Mercurial, and SVN.

dreampie is a graphical alternative for the Python interactive console. It provides a number of additional features that are not possible with the regular (terminal based) Python console, including: syntax highlighting, parameter lists for built in Python functions, and the ability to save code to a file.

Easystroke is a gesture-recognition application for X11. Gestures or strokes are movements that you make with you mouse (or your pen, finger etc.) while holding down a specific mouse button. Easystroke will execute certain actions if it recognizes the stroke; currently easystroke can emulate key presses, execute shell commands, hold down modifiers and emulate a scroll wheel.

The program was designed with Tablet PCs in mind and can be used effectively even without access to a keyboard. Easystroke tries to provide an intuitive and efficient user interface, while at the same time being highly configurable and offering many advanced features.

The Eclipse platform is designed for building integrated development environments (IDEs), server-side applications, desktop applications, and everything in between.

It is the base of all IDE plugins but doesn't include any. However, the true power of Eclipse lies in extensions and combining them, such as:

• JDT, which is required to use Eclipse for Java development
• PDE, which is required for developing Eclipse plug-ins
• Mylyn - a great context tool hiding unnecessary piece of UI, thus making coding much faster
• CDT - adding support for C/C++ language
• EMF - powerful modeling support
• Git/SVN/CVS integrations

edb is a cross platform x86/x86-64 debugger. It was inspired by OllyDbg, but aims to function on x86 and x86-64 as well as multiple OS's.

Linux is the only officially supported platform at the moment, but FreeBSD, OpenBSD, OSX and Windows ports are underway with varying degrees of functionality.

Eiciel is a standalone tool and a Nautilus plugin to graphically edit Access Control Lists (ACL) of your files. ACLs allow to set more fine-grained permissions than the traditional Unix permissions of user, group, other (UGO permissions).

Eiciel also allows to edit the extended attributes of files and directories if the filesystem supports it.

Not all filesystems support ACLs and extended attributes. And even for those supporting them, they must be enabled (by the system administrator) before using Eiciel.

Electrum is an easy to use Bitcoin client. It protects you from losing coins in a backup mistake or computer failure, because your wallet can be recovered from a secret phrase that you can write on paper or learn by heart. There is no waiting time when you start the client, because it does not download the Bitcoin block chain.

Emacs is a powerful, customizable, self-documenting, modeless editor. It is used primarely to edit text, including text documents, source code of programs, web pages and XML documents, but can also be used to display and edit binary files.

Emacs allows efficient editing of text with shortcuts which allow operating on letters, words, sentences, and paragraphs as single units. This includes both moving around and operations like copying, deleting, transposing, and pasting. Macros can be conveniently defined to repeat sequences of commands. In addition, Emacs is (partially) built in a scripting language (elisp) which can also be used to define further functions extending existing capabilities.

Emacs has extensive support for editing source code, including programmable syntax highlighting, automatic indentation, source code indexing, overview modes, and navigation based on language specific units like functions and blocks. It is also possible to invoke the compiler from within Emacs and easily move between compiler output and corresponding positions in the source.

Emacs has multiple modules which provide further functionality. This provides the capability to read mail, news, browse pictures, read man and info pages, browse the web, execute arbitrary programs, and more, without leaving the editor.

Enigma is a puzzle game where the player controls a marble with their mouse to uncover matching sets of stones.

While Enigma starts out simple, soon you will encounter a wide range of mazes, lasers and traps to stop you from your goal. You need dexterity, intelligence, patience, and curiosity to succeed.

Enigma features over 1000 levels with ever new objects, problems, and challenges.