arcalab/CAOS arcalab/CAOS

  • Stars
    star
    1
  • Language
    JavaScript
  • Created over 3 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arcalab/CAOS
github

arcalab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More 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

lince

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

quantamorphisms

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

quantum-computation-2324

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