eiffel

There are 3 repositories under eiffel topic.

• codespecs / daikon

  Dynamic detection of likely invariants

  ccsharpeiffeljavamachine-learningmachinelearningperlspecifspecification-by-examplespecifications
  Language:C 203

• sellout / quid-pro-quo

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

  common-lispeiffelpostconditionpreconditionsdesign-by-contract
  Language:Common Lisp 92

• EiffelWebFramework / EWF

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

  eiffelweb-devserverhttpd
  Language:Eiffel 44

• carlfriess / eiffel-guide

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

  documentationeiffeleiffel-programming-languageguidelanguageprogramming-language
  Language:HTML 29

• imustafin / brie_doom

  DOOM source port in Eiffel with SDL2

  doomeiffelgamegame-developmenthacktoberfestsdl2wrap-sdl
  Language:Eiffel 10

• maheshabburi4 / IITH-BTECH-Courses

  BTECH Courses semwise

  cool-compilerprologeiffeloscomputer-architecturediscrete-mathematicsprinciples-of-programming-languagesdata-structures-and-algorithms
  Language:C 10

• berenddeboer / xplain2sql

  Translate semantic database language Xplain to SQL

  eiffelxplain
  Language:Eiffel 9

• rmatil / uzh-software-construction

  This repo holds some snippets of Eiffel

  eiffeleiffel-programming-languageeiffelstudiosoftware-constructionuzh
  Language:Eiffel 7

• vijayphoenix / IITH-BTECH-Courses

  IITH BTECH CSE all Courses' Codes and Assignments

  iithpoploperating-systemcompilercomputer-architectureeiffelprologdata-structures-and-algorithmscool-compilerreinforcement-learninglinear-optimizationdbmscomputer-networksimage-processingrepresentation-learningnumerical-methodscomputer-visionlattice-theory
  Language:Jupyter Notebook 7

• imustafin / pb-patience

  PocketBook Patience Collection

  eiffelhacktoberfestpatiencepocketbooksolitaire
  Language:Eiffel 6

• EiffelWebFramework / ROC

  Rest on CMS

  eiffelcms
  Language:Eiffel 5

• imustafin / wrap_inkview

  Inkview PocketBook library wrapped for Eiffel

  eiffeleinkpocketbookwrapc
  Language:Eiffel 5
• SeansLifeArchive_Images_TinyDeathStar

  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.

  seanpm2001-life-archivegpl3gplv3tinydeathstartiny-death-stardeath-starstarwarsmdtxtandroid2013disneyeiffelgit-imagejpgsimulationgamingnimblebitstar-warsvideo-games
  Language:Nim 4

• ZeLarpMaster / Discord.ecf

  Discord API library implemented in Eiffel

  discorddiscord-ecfeiffeldiscord-api
  Language:Eiffel 4

• ionagamed / eiffel-idea

  Eiffel support plugin for IntelliJ-platform based IDEs

  eiffelintellij-plugin
  Language:Java 3
• SNU_2D_ProgrammingTools_IDE_Eiffel

  seanpm2001 / SNU_2D_ProgrammingTools_IDE_Eiffel

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

  eiffelidesnu2donlineprogramminggpl3gplv3esnu2d-programmingtools
  Language:Eiffel 3

• hany606 / Eiffel101

  Introduction to Eiffel

  eiffel-programming-languageeiffeleiffelstudiooopinnopolis-university
  Language:C 2

• odipar / smanikin

  Scala version of Manikin

  scalamodel-checkingsoftware-transactional-memoryeiffelconcurrent-programmingdistributed-computing
  Language:Scala 2

• pguilmette / warfareWay

  Projet réalisé pour le cours 420-PRB-DM

  eiffel
  Language:Eiffel 2

• SadraSamadi / compiler-951

  Compiler - Fall 2016

  javacompilerjflexguilan-universityeiffeljcup
  Language:Java 2
• AI2001_Category-Source_Code-SC-Eiffel

  seanpm2001 / AI2001_Category-Source_Code-SC-Eiffel

  🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Eiffel category for AI2001, containing Eiffel programming language datasets

  aiai-2001ai-2001-datasetai-2001-developmentai2001ai2001-datasetai2001-developmentartificial-intelligencedataseteiffeleiffel-langeiffel-languagegpl3gplv3mdr-languagermarkdown-languagesource-code-datasettxteiffel-sc-dataset
  Language:R 2
• Easy-E-IDE

  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.

  ee-langeiffelgpl3gplv3idetxtmdeiffel-lange-languageeiffel-languageeasy-eeasy-e-idedual-language-ide
  Language:E 2
• Learn-Eiffel

  seanpm2001 / Learn-Eiffel

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

  eiffeleiffel-langlanguagegpl3gplv3txtmdeducationknowledgecollectioneiffel-collectioneiffel-languagelearn-eiffellearn-eiffel-langlearn-eiffel-language
  Language:Eiffel 2
• SeansLifeArchive_Images_TinyTowerVegas

  seanpm2001 / SeansLifeArchive_Images_TinyTowerVegas

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

  nimblebitgit-imagescreenshotsimagesjpgseanpm2001-life-archivegpl3gplv3androidmdwikieiffeltxttiny-towertiny-tower-vegaspicturesstock-images
  Language:Eiffel 2

• ZeLarpMaster / NeuralNetworkExample

  Just a small project using my Neural Network library

  eiffeleiffel-programming-languageeiffelstudiologic-gatesneural-network
  Language:Eiffel 2

• bystritskiy / rms_eiffel

  Report Management System (Eiffel Project)

  csseiffelfrontendhtmljssqlsrs-document
  Language:HTML 1

• eiffelhub / mongo-eiffel-driver

  The Eiffel driver for MongoDB

  eiffel-drivereiffelmongodb
  Language:C 1

• GabrieleMaurina / workspace

  Personal workspace. Years of code shouldn't be lost.

  cppeiffelerlangjavajavascirptocamlpythonscala
  Language:Python 1

• hovo / eiffel-tictactoe

  Tictactoe game written in Eiffel

  eiffeleiffel-testing-frameworkeiffelstudiotictactoe
  Language:Eiffel 1

• imustafin / eiffel_of_life

  Conway's Game of Life implemented in Eiffel with EiffelVision 2

  eiffelgameoflifeeiffelvision2
  Language:E 1

• joelbarmettlerUZH / Eiffel_Markup_Generator

  Simple Markup Generator library written in Eiffel for a Study project

  eiffeleiffelstudiomarkdownhtmlmarkup-languagemarkup
  Language:Eiffel 1

• kishanpatel98 / Eiffel-Labs

  Software Design Labs in Eiffel

  eiffeleiffel-programming-languageeiffel-testing-frameworkeiffelstudio
  Language:C 1

• lambda-mike / aoc

  My solutions to Advent Of Code puzzles

  advent-of-codeadvent-of-code-2018haskellfunctional-programmingstackgogolangrustscala2carpgleamidris2prologforthatseiffel
  Language:Haskell 1
• tuwien

  patrickfav / tuwien

  Miscellaneous projects done during my studies in computer science at the Vienna University of Technology from about 2009 to 2011.

  anteiffelejb3javajaveeemavenrestsmalltalkuniversity-course
  Language:Java 1

• ZeLarpMaster / MP3Player

  Music Player handling playlists, normalisation, and mp3 format

  mp3playerplaylistseiffeleiffelstudio
  Language:Eiffel 1

• ZeLarpMaster / Neural-Network

  Neural Network Library in Eiffel

  eiffeleiffelstudioneural-network
  Language:Eiffel 1