eiffel
There are 59 repositories under eiffel topic.
codespecs/daikon
Dynamic detection of likely invariants
sellout/quid-pro-quo
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
EiffelWebFramework/EWF
Eiffel Web Framework -- Provide a common framework to build easily web server application in Eiffel (portable on various connector and platforms)
carlfriess/eiffel-guide
A simple website providing a basic reference manual for getting started with the Eiffel programming language.
imustafin/brie_doom
DOOM source port in Eiffel with SDL2
maheshabburi4/IITH-BTECH-Courses
BTECH Courses semwise
berenddeboer/xplain2sql
Translate semantic database language Xplain to SQL
rmatil/uzh-software-construction
This repo holds some snippets of Eiffel
vijayphoenix/IITH-BTECH-Courses
IITH BTECH CSE all Courses' Codes and Assignments
imustafin/pb-patience
PocketBook Patience Collection
EiffelWebFramework/ROC
Rest on CMS
imustafin/wrap_inkview
Inkview PocketBook library wrapped for Eiffel
seanpm2001/SeansLifeArchive_Images_TinyDeathStar
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 repositories README.md file.
ZeLarpMaster/Discord.ecf
Discord API library implemented in Eiffel
ionagamed/eiffel-idea
Eiffel support plugin for IntelliJ-platform based IDEs
seanpm2001/SNU_2D_ProgrammingTools_IDE_Eiffel
The Eiffel Programming language IDE submodule for SNU Programming Tools (2D Mode)
hany606/Eiffel101
Introduction to Eiffel
jonhermansen/eiffel-mode
Eiffel mode for Emacs/XEmacs
odipar/smanikin
Scala version of Manikin
pguilmette/warfareWay
Projet réalisé pour le cours 420-PRB-DM
SadraSamadi/compiler-951
Compiler - Fall 2016
seanpm2001/AI2001_Category-Source_Code-SC-Eiffel
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Eiffel category for AI2001, containing Eiffel programming language datasets
seanpm2001/Easy-E-IDE
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.
seanpm2001/Learn-Eiffel
A repository for showcasing my knowledge of the Eiffel programming language, and continuing to learn the language.
seanpm2001/SeansLifeArchive_Images_TinyTowerVegas
The module for my life story project that contains my Tiny Tower Vegas images.
ZeLarpMaster/NeuralNetworkExample
Just a small project using my Neural Network library
bystritskiy/rms_eiffel
Report Management System (Eiffel Project)
eiffelhub/mongo-eiffel-driver
The Eiffel driver for MongoDB
GabrieleMaurina/workspace
Personal workspace. Years of code shouldn't be lost.
hovo/eiffel-tictactoe
Tictactoe game written in Eiffel
imustafin/eiffel_of_life
Conway's Game of Life implemented in Eiffel with EiffelVision 2
joelbarmettlerUZH/Eiffel_Markup_Generator
Simple Markup Generator library written in Eiffel for a Study project
kishanpatel98/Eiffel-Labs
Software Design Labs in Eiffel
lambda-mike/aoc
My solutions to Advent Of Code puzzles
ZeLarpMaster/MP3Player
Music Player handling playlists, normalisation, and mp3 format
ZeLarpMaster/Neural-Network
Neural Network Library in Eiffel