Popular repositories Loading
-
fm-dcc.github.io
fm-dcc.github.io PublicPossible website for the FM group at DCC-FCUP, Porto, Portugal
CSS 1
-
CoMPSeT
CoMPSeT Publicrepository with the submitted source code for the MSc thesis named "CoMPSeT - Comparing Multiparty Session Types"
JavaScript
-
-
alg2425
alg2425 PublicMaterial for the course on Algorithms 2024/2025, from DCC, FCUP, University of Porto.
TeX
-
MARGe
MARGe PublicForked 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
Repositories
- CoMPSeT Public
repository with the submitted source code for the MSc thesis named "CoMPSeT - Comparing Multiparty Session Types"
FM-DCC/CoMPSeT’s past year of commit activity - alg2425 Public
Material for the course on Algorithms 2024/2025, from DCC, FCUP, University of Porto.
FM-DCC/alg2425’s past year of commit activity - 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).
FM-DCC/MARGe’s past year of commit activity - sv2425 Public
Material for the course on System Verification 2024/2025, from DCC, FCUP, University of Porto
FM-DCC/sv2425’s past year of commit activity - pc2324 Public
Course on Concurrent Programming, given at the Faculty of Science of the University of Porto 2023/24
FM-DCC/pc2324’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…