Dynamic detection of likely invariants

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

Eiffel Web Framework -- Provide a common framework to build easily web server application in Eiffel (portable on various connector and platforms)

A simple website providing a basic reference manual for getting started with the Eiffel programming language.

Fibonacci algorithm implemented in a few compilable languages in different programming flavors

BTECH Courses semwise

DOOM source port in Eiffel with SDL2

Translate semantic database language Xplain to SQL

IITH BTECH CSE all Courses' Codes and Assignments

This repo holds some snippets of Eiffel

PocketBook Patience Collection

Inkview PocketBook library wrapped for Eiffel

Rest on CMS

Discord API library implemented in Eiffel

The module for my life story project that contains my NimbleBit × Disney: Tiny Death Star gameplay images. Unfortunately, this game randomly got pulled over half a decade ago, and can't be installed normally. Even then, it hasn't received updates in over 6 years, and all online functionality is gone. More information is available in this reposi…

Eiffel support plugin for IntelliJ-platform based IDEs

The Eiffel Programming language IDE submodule for SNU Programming Tools (2D Mode)

Eiffel mode for Emacs/XEmacs

The module for my life story project that contains my Tiny Tower Vegas images.

A repository for showcasing my knowledge of the Eiffel programming language, and continuing to learn the language.