Repositories list

• lince-2.0

  Public
  New experimental version of Lince, using CAOS and a small-step semantics

  Scala

  •1•0•0•0•Updated Dec 17, 2025Dec 17, 2025

• quantum-computation-2526

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Dec 15, 2025Dec 15, 2025

• aec-2526

  Public
  Algorithms and Complexity // edition 2025-2026 // University of Minho

  HTML

  •0•0•0•0•Updated Dec 12, 2025Dec 12, 2025

• arcalab.github.io

  Public
  Website for ARCA - a research team from HASLab, Dep. Informatics, University of Minho, Portugal.

  HTML

  •1•0•0•0•Updated Dec 7, 2025Dec 7, 2025

• CAOS

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

  JavaScript

  •3•4•0•0•Updated Dec 5, 2025Dec 5, 2025

• qu4DataSci-2526

  Public
  Material for the course "Quantum for Data Science", edition 2025-2026, taught at the University of Minho

  Jupyter Notebook

  •0•0•0•0•Updated Dec 4, 2025Dec 4, 2025

• quantum-software-group

  Public
  HTML

  •0•0•0•0•Updated Dec 2, 2025Dec 2, 2025

• lambda-caos

  Public
  Illustrative example of the usage of CAOS with a simple lambda-calculus reduction semantics

  Scala

  •0•1•0•0•Updated Oct 21, 2025Oct 21, 2025

• Ibex

  Public
  Webpage of the project Ibex

  HTML

  •0•0•0•0•Updated Sep 25, 2025Sep 25, 2025

• Bansky

  Public
  Webpage of the project Bansky

  0•0•0•0•Updated Sep 20, 2025Sep 20, 2025

• quantum-logic-2425

  Public
  Material for the course "Quantum Logic", edition 2024-2025, taught at the University of Minho

  HTML

  •0•0•0•0•Updated Jun 19, 2025Jun 19, 2025

• ic-2425

  Public
  Material for the course "Interaction and Concurrency", edition 2024-2025, taught at the University of Minho

  Jupyter Notebook

  •0•0•0•0•Updated Jun 19, 2025Jun 19, 2025

• lince

  Public
  Hybrid Programming - a Scala library to specify and analyse hybrid programs

  Scala

  •0•2•3•0•Updated Jun 3, 2025Jun 3, 2025

• SLP-2425

  Public
  Course on "Semantics of Programming Languages" at the U. of Minho, Portugal

  TeX

  •0•0•0•0•Updated May 12, 2025May 12, 2025

• CyPhyComp2425

  Public
  MSc unit course on Cyber Physical Computation at the U.Minho, Portugal

  TeX

  •0•0•0•0•Updated May 9, 2025May 9, 2025

• quantum-computation-2425

  Public
  Material for the course "Quantum Computation", edition 2024-2025, taught at the University of Minho

  Jupyter Notebook

  •0•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• qu4DataSci-2425

  Public
  Material for the course "Quantum for Data Science", edition 2024-2025, taught at the University of Minho

  Jupyter Notebook

  •0•0•0•0•Updated Sep 10, 2024Sep 10, 2024

• ic-2324

  Public
  Material for the course "Interaction and Concurrency", edition 2023-2024, taught at the University of Minho

  Jupyter Notebook

  •0•0•0•0•Updated Jul 13, 2024Jul 13, 2024

• quantum-logic-2324

  Public
  Material for the course "Quantum Logic", edition 2023-2024, taught at the University of Minho

  HTML

  •0•0•0•0•Updated Jun 26, 2024Jun 26, 2024

• CyPhyComp2324

  Public
  MSc unit course on Cyber Physical Computation at the U.Minho, Portugal

  TeX

  •0•0•0•0•Updated May 13, 2024May 13, 2024

• choreo

  Public
  Scala

  •0•3•0•0•Updated Mar 22, 2024Mar 22, 2024

• b-pomset

  Public
  Host of the online tool to reason over branching pomsets, as published in ICE 2022.

  JavaScript

  •0•0•0•0•Updated Mar 8, 2024Mar 8, 2024

• team-a

  Public
  Scala

  •0•0•0•0•Updated Feb 23, 2024Feb 23, 2024

• quantum-computation-2324

  Public
  Material for the course "Quantum Computation", edition 2023-2024, taught at the University of Minho

  Jupyter Notebook

  •1•2•0•0•Updated Jan 31, 2024Jan 31, 2024

• qit1718-mi

  Public
  Matemática para a Informática - Qualifica IT

  TeX

  •0•1•0•0•Updated Jan 8, 2024Jan 8, 2024

• ccs-caos

  Public
  CCS simulator using Caos

  Scala

  •0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

• caos.g8

  Public
  Giter8 template to help bootstrapping the creation of a project that uses Caos.

  JavaScript

  •0•0•0•0•Updated Nov 3, 2023Nov 3, 2023

• ceta

  Public
  Snapshot of Choreographic Extended Team Automata analysis

  JavaScript

  •0•0•0•0•Updated Oct 17, 2023Oct 17, 2023

• CyPhyComp2223

  Public
  MSc unit course on Cyber Physical Computation at the U.Minho, Portugal

  TeX

  •0•0•0•0•Updated Jun 2, 2023Jun 2, 2023

• tecnicas-algoritmicas-computabilidade-2223

  Public
  Materia da UC Técnicas Algorítmicas e Computabilidade 2022-2023 da Universidade do Minho

  HTML

  •

  Apache License 2.0

  •0•0•0•0•Updated May 15, 2023May 15, 2023