Popular repositories Loading

1. visualization-final visualization-final Public

   Visualization Final Project SoSe2022

   HTML

2. Modern-C-AB Modern-C-AB Public

   This is the exercises of the book Modern C for Absolute Beginners, Like Me ;P

   C

3. fm4se-featuremodels fm4se-featuremodels Public

   Forked from elisa97/fm4se-featuremodels

   Assignment 2 Formal Methods Wise 2022

   Java

4. fm4se-java-smt-pc-config fm4se-java-smt-pc-config Public

   Forked from se-buw/fm4se-java-smt

   Simple SMT-based PC configurator for a budget and boolean constraints.

   Java

5. dreadburymansionmysteryalloy dreadburymansionmysteryalloy Public

   Assignment05 Formal Methods Dreadbury Mansion Mystery in Alloy

   Alloy

6. fm4se-alloy-sigs-checker fm4se-alloy-sigs-checker Public template

   A template for checking simple checks of Alloy modules using the Alloy 6 APIs.

   Java 3