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

4. ramde2122 ramde2122 Public

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

   TeX

5. fvoca2122 fvoca2122 Public

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

   TeX

6. whilelang-scala whilelang-scala Public

   Scala implementation of a simple while language, for didactic purposes

   Scala