Open Source Eiffel Software

**** 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

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

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. Beginning as a collection of packages, we hope one day to provide a full operating system as stated at http://eifflix.org.

The purpose of this project is to modify SmartEiffel to allow it to be used to create applications for mobile device platforms such as Symbian, BREW, and J2ME. Currently the codebase is based on SmartEiffel 1.0, but we are looking into moving over to Sma

SEIF is a tool to process, compile and run PHP like scripts. In fact the SEIF scripts look like PHP scripts and should have at least the same power, but they use an Eiffel syntax. The goal of SEIF is not to create a new langage, but to make it possible

Extended BON is a superset of BON, a clear and concise graphical and textual specification language for software systems. This tool suite consists of a scanner, parser, documentation generator, and design model checker for Extended BON.

ePalm aims to be a general-purpose library for allowing the SmallEiffel eiffel compiler to generate m68k-compatible code, and a series of classes which wrap the palm API such that an Eiffel developer can write a PalmOS application entirely in Eiffel.

The purpose of this project is to create an Open Source portable GUI library for Eiffel. It started as the "translation" of the excellent GUI library named FOX from C++ to Eiffel, but I hope it'll become independent soon.