Dynamic detection of likely invariants
-
Updated
Nov 12, 2025 - C
Dynamic detection of likely invariants
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
A simple website providing a basic reference manual for getting started with the Eiffel programming language.
BTECH Courses semwise
IITH BTECH CSE all Courses' Codes and Assignments
DOOM source port in Eiffel with SDL2
Компилятор подмножества языка программирования Eiffel
This repo holds some snippets of Eiffel
PocketBook Patience Collection
Inkview PocketBook library wrapped for Eiffel
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
Easy E is an easy to use IDE for the E and Eiffel programming languages. It is named after the former rapper Eazy-E, although this was done for pun reasons only.
The Eiffel Programming language IDE submodule for SNU Programming Tools (2D Mode)
Add a description, image, and links to the eiffel topic page so that developers can more easily learn about it.
To associate your repository with the eiffel topic, visit your repo's landing page and select "manage topics."