Pinned Repositories
ac-1516
Course material for a course on modelling and calculi for software architecture, with emphasise on reactive systems.
CAOS
CAOS toolset - Scala libraries to support computer aided design of SOS using a web frontend.
choreo
ic-1718
Unit course on "Interacção e Concorrência", taught on 2017/2018.
lambda-caos
Illustrative example of the usage of CAOS with a simple lambda-calculus reduction semantics
lince
Hybrid Programming - a Scala library to specify and analyse hybrid programs
qit1718-mi
Matemática para a Informática - Qualifica IT
quantamorphisms
Tools and scripts used in the context of the MSc project "Towards Quantum Program Calculation"
quantum-computation-2223
Material for the course "Quantum Computing", edition 2022-2023, taught at the University of Minho
quantum-logic-1718
Quantum logics course
LMF's Repositories
arcalab/choreo
arcalab/quantum-computation-2223
Material for the course "Quantum Computing", edition 2022-2023, taught at the University of Minho
arcalab/quantamorphisms
Tools and scripts used in the context of the MSc project "Towards Quantum Program Calculation"
arcalab/CAOS
CAOS toolset - Scala libraries to support computer aided design of SOS using a web frontend.
arcalab/ic-1718
Unit course on "Interacção e Concorrência", taught on 2017/2018.
arcalab/lambda-caos
Illustrative example of the usage of CAOS with a simple lambda-calculus reduction semantics
arcalab/lince
Hybrid Programming - a Scala library to specify and analyse hybrid programs
arcalab/quantum-computation-1718
arcalab/quantum-computation-2324
Material for the course "Quantum Computation", edition 2023-2024, taught at the University of Minho
arcalab/quantum-logic-1718
Quantum logics course
arcalab/arcalab.github.io
Website for ARCA - a research team from HASLab, Dep. Informatics, University of Minho, Portugal.
arcalab/arx
ARx, a reactive programming language for synchronous connectors
arcalab/b-pomset
Host of the online tool to reason over branching pomsets, as published in ICE 2022.
arcalab/b-pomset-playground
Experiments with branching-pomsets
arcalab/caos-choreo.g8
A Giter8 template for a new CAOS project
arcalab/caos.g8
Giter8 template to help bootstrapping the creation of a project that uses Caos.
arcalab/ccs-caos
CCS simulator using Caos
arcalab/ceta
Snapshot of Choreographic Extended Team Automata analysis
arcalab/CyPhyComp2223
MSc unit course on Cyber Physical Computation at the U.Minho, Portugal
arcalab/hubAutomata
arcalab/Ibex
Webpage of the project Ibex
arcalab/ic-2324
Material for the course "Interaction and Concurrency", edition 2023-2024, taught at the University of Minho
arcalab/marx
Marx, a reactive programming language for synchronous connectors based on ARx
arcalab/pompset
arcalab/quantum-computing-1819
Material for the MAPi course "Quantum Computing", taught at the University of Minho.
arcalab/quantum-logic-2324
Material for the course "Quantum Logic", edition 2023-2024, taught at the University of Minho
arcalab/quantumsoftwareengineering
arcalab/st4mp
Generated tools to analyse scribble via Choreo
arcalab/team-a
arcalab/tecnicas-algoritmicas-computabilidade-2223
Materia da UC Técnicas Algorítmicas e Computabilidade 2022-2023 da Universidade do Minho