Popular repositories Loading

1. SMC-MultiVeStA SMC-MultiVeStA Public

   MultiVeStA is a framework for enriching Java simulators with distributed automatic analysis capabilities known as statistical model checking. However, many simulators exist written in C++, due to i…

   C++

2. model-based-systems-engineering model-based-systems-engineering Public

   Forked from AntoineSebert/model-based-systems-engineering

   Module Project

   Python

3. iCook iCook Public

   Forked from Madsmal/iCook

   Java

4. compiler-construction compiler-construction Public

   Forked from sasp1/compiler-construction

   A group project (5 people) created as part of the Master's course, Compiler Construction. It is an extension of j-- (a subset of Java) and involves steps as scanning, parsing, type-checking and gen…

   Java

5. PromotionEngine PromotionEngine Public

   Java