Popular repositories Loading

1. fm-dcc.github.io fm-dcc.github.io Public

   Possible website for the FM group at DCC-FCUP, Porto, Portugal

   CSS 1

2. pc2324 pc2324 Public

   Course on Concurrent Programming, given at the Faculty of Science of the University of Porto 2023/24

   TeX 1

3. CoMPSeT CoMPSeT Public

   repository with the submitted source code for the MSc thesis named "CoMPSeT - Comparing Multiparty Session Types"

   JavaScript

4. rebecaos rebecaos Public

   Animator of the SOS semantics of Rebeca

   Scala

5. alg2425 alg2425 Public

   Material for the course on Algorithms 2024/2025, from DCC, FCUP, University of Porto.

   TeX

6. MARGe MARGe Public

   Forked from Dtinas10/MARGe

   Tool for the analysis of reactive systems (LTS where transitions are (de)activated as a side-effect of executing a transition).

   Scala