eidi

Here are 3 public repositories matching this topic...

kappelmann / eidi2_repetitorium_tum

This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.

fpv functional-programming tum ocaml wp technical-university munich program-verification eidi2-revision-course eidi eidi2 eidi-2 revision-course big-step

Updated Mar 12, 2019
OCaml

MaisiKoleni / eidi1_uebung

Star

TUM EIDI 1 Übungsmaterial

tum exam preparation exercises 2018 2019 eidi pgdp ws1819

Updated Feb 11, 2020
Java

JensOstertag-University-Material / GameOfLife-Java

Star

Object-Oriented Version of Epic Conway's Game of Life. A Project made in EidI @ Ulm University.

java gameoflife eidi

Updated May 19, 2022
Java

Improve this page

Add a description, image, and links to the eidi topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the eidi topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly