Dynamic detection of likely invariants
-
Updated
May 22, 2024 - C
Dynamic detection of likely invariants
A simple website providing a basic reference manual for getting started with the Eiffel programming language.
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
BTECH Courses semwise
IITH BTECH CSE all Courses' Codes and Assignments
This repo holds some snippets of Eiffel
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.
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…
The Eiffel Programming language IDE submodule for SNU Programming Tools (2D Mode)
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.
Simple Markup Generator library written in Eiffel for a Study project
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."