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. a-team a-team Public

   Implementation of a sync + asynchronous version for Team Automata

   Scala 1

4. CoMPSeT CoMPSeT Public

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

   JavaScript

5. rebecaos rebecaos Public

   Animator of the SOS semantics of Rebeca

   Scala 1

6. alg2425 alg2425 Public

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

   TeX