Search Results for "linux-debian"

The Gobo Eiffel Project provides the Eiffel community with free and portable Eiffel tools and libraries.

EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...

Even in the simplified two dimensional HP-model (hydrophob/polar) the prediction of proteinfolding is NP complete. We implement a brute force algorithm with serial and parallel execution to solve short inputs of HP sequences (0-1 bitstrings). Selbst im vereinfachten zweidimensionalen HP-Modell (hydrophob/polar) ist die Proteinfaltung bereits NP-vollständig. Hier implementieren wir einen brute-force Algorithmus zur Lösung kurzer Eingabesequenzen (0-1-Bitstrings) für die...

Eifflix will be a free operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. Eifflix will be similar to Debian, both in concept in structure and borrows many of the Debian tools. The main difference is that the primary source code language for Eifflix will be Eiffel. Currently almost 70% of Debian is written in C or C++. The aim of Eifflix is to replicate Debian, replacing as much as possible of the low-level C code with higher-level design-by-contract Eiffel code. ...

**** THIS LIBRARY WAS MOVED INTO Boost **** New location: https://github.com/boostorg/contract C++ Contract Programming (a.k.a. Design by Contract or DbC). All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc. Plus virtual specifiers, concept checking, named parameters. See: http://contractpp.sourceforge.net

System for analysis of financial markets using technical analysis. Includes facilities for stock charting and futures charting, as well as automated generation of trading signals based on user-selected criteria. Operates on both daily and intraday data.

Tecomp: A compiler for Eiffel (compliant with ECMA-367, ISO/IEC 25436). Tecomp is a command line compiler. It is committed to implement standard Eiffel. Tecomp works on Unix and Windows systems. The tecomp project is no longer under active development. Successor project: http://albatross-lang.sourceforge.net

E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.

Simple and effective frameworks in Eiffel : persistence, user interaction, report generation, communication. Add an abstraction layer on top of existing Open Source libraries (eiffel or other languages). Help developers focus on application requirement,

Free implementation of ELKS library

Bitte neue Website des aktuellen sourceforge Projekts PF_HP beachten! Please see new Website of the current sourceforge project PF_HP! Selbst im vereinfachten zweidimensionalen HP-Modell (hydrophob/polar) ist die Proteinfaltung bereits NP-vollständig. Hier implementieren wir einen brute-force Algorithmus zur Lösung kurzer Eingabesequenzen (0-1-Bitstrings) für die Proteinfaltung. Spende einen Cappuccino: Bitcoin: 1HqrdnfQgi9B4LW8UEvLAwh7X5gXPCoQ5B Litecoin:...

EiffelRSS is an Eiffel library to parse and write RSS. The goal is to provide the Eiffel development community with an easy to use API for RSS. It also contains a simple RSS newsfeed reader written with EiffelVision.

Queue is a 3D billiard game. It features a realistic physics engine and supports different billiard variants.

Vtgrep stands for Visual Tree Grep and is a GUI to tgrep. It allows the user to build graphical representations of tree structures and then translates them into the tgrep syntax. provides search functionality, as well as search and result logging.

Multi-functional batch sequence aligner incorporating Needleman-Wunsch, Smith-Waterman and Oommen-Kashyap algorithms along with compound alignment of secondary sequences.

Stores and retrieves files in an encrypted archive. Also manages files stored on CDs and DVDs. Other functions are incomplete. PLEASE NOTE: you need to download both an Objectify release and a Public Objects release.

Exploring the possibilities of doing an Operating System completely different than all of the existing ones. Instead of basing it upon concepts that are 40 years old, design it from the ground up object oriented, peer-to-peer, and for security.

Basic-level XSLT 2.0 processor, written in Eiffel.

ESE (reads "easy") stands for "Enterprise SmartEiffel". Its aim is to build enterprise-level tools and libraries for SmartEiffel (http://smarteiffel.loria.fr)

The Eiffel Windowing System is a small Eiffel library providing an SDL-based windowing system (and possibly other frontends in the future).

MERMAID is an object-oriented domain modeling tool to create enterprise models using an UML class diagram, an object-event table and finite state machines. The CASE tool checks view consistency, has XMI support and code generation abilities.

Remake of Jupiter Lander C64 Game written in Eiffel

Extends the TRAFFIC library (developed at ETHZ) to automatically generate schedules for public transport

Eiffel mode for Emacs/XEmacs.

These are simple command line audio tools to examine, change the gain, and convert wave and raw audio files.