LMF (@arcalab)
Guthub

arcalab

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

choreo

Scala
3
star
2

quantum-computation-2223

Material for the course "Quantum Computing", edition 2022-2023, taught at the University of Minho
Jupyter Notebook
3
star
3

quantum-computation-1718

HTML
1
star
4

ac-1516

Course material for a course on modelling and calculi for software architecture, with emphasise on reactive systems.
TeX
1
star
5

ic-1718

Unit course on "Interacção e Concorrência", taught on 2017/2018.
HTML
1
star
6

lambda-caos

Illustrative example of the usage of CAOS with a simple lambda-calculus reduction semantics
Scala
1
star
7

quantum-logic-1718

Quantum logics course
HTML
1
star
8

qit1718-mi

Matemática para a Informática - Qualifica IT
TeX
1
star
9

CAOS

CAOS toolset - Scala libraries to support computer aided design of SOS using a web frontend.
JavaScript
1
star
10

lince

Hybrid Programming - a Scala library to specify and analyse hybrid programs
Scala
1
star
11

quantamorphisms

Tools and scripts used in the context of the MSc project "Towards Quantum Program Calculation"
Jupyter Notebook
1
star
12

quantum-computation-2324

Material for the course "Quantum Computation", edition 2023-2024, taught at the University of Minho
Jupyter Notebook
1
star