Dynamic detection of likely invariants
-
Updated
Nov 13, 2024 - 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
DOOM source port in Eiffel with SDL2
IITH BTECH CSE all Courses' Codes and Assignments
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
The Eiffel Programming language IDE submodule for SNU Programming Tools (2D Mode)
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.
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."