Popular repositories Loading

1. uppex uppex Public

   Uppex - extend UPPAAL with annotations for properties in companion MS Excel files

   Scala 1 1

2. coreVVML coreVVML Public

   Analyser of a core subset of VVML (Verification & Validation Modelling Language)

   Scala 1

3. alg2324 alg2324 Public

   Algorithms course @ Fac. Sciences of the Univ. Porto 2023/2024

   TeX 1 1

4. ramde2122 ramde2122 Public

   Content for the RAMDE course for the 1st semester of the MSc CCSE.

   TeX 1

5. fvoca2122 fvoca2122 Public

   Content for the FVOCA course for the 2nd semester of the MScCCSE by CISTER/ISEP.

   TeX 1

6. whilelang-scala whilelang-scala Public

   Scala implementation of a simple while language, for didactic purposes

   Scala