Repositories list

• CyPhyComp2425

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

  TeX

  •0•0•0•0•Updated Apr 8, 2025Apr 8, 2025

• SLP-2425

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

  TeX

  •0•0•0•0•Updated Apr 8, 2025Apr 8, 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 Apr 3, 2025Apr 3, 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 Apr 2, 2025Apr 2, 2025

• CAOS

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

  JavaScript

  •2•3•0•0•Updated Mar 25, 2025Mar 25, 2025

• lince

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

  Scala

  •0•1•3•0•Updated Feb 18, 2025Feb 18, 2025

• Ibex

  Public
  Webpage of the project Ibex

  HTML

  •0•0•0•0•Updated Jan 22, 2025Jan 22, 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

• lambda-caos

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

  Scala

  •0•1•0•0•Updated Oct 11, 2023Oct 11, 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

• arcalab.github.io

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

  HTML

  •1•0•0•0•Updated Feb 3, 2023Feb 3, 2023

• quantum-computation-2223

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

  Jupyter Notebook

  •0•3•0•0•Updated Jan 26, 2023Jan 26, 2023

• b-pomset-playground

  Public
  Experiments with branching-pomsets

  JavaScript

  •0•0•0•0•Updated Jan 20, 2023Jan 20, 2023

• arx

  Public
  ARx, a reactive programming language for synchronous connectors

  Scala

  •0•0•1•0•Updated Nov 15, 2022Nov 15, 2022

• st4mp

  Public
  Generated tools to analyse scribble via Choreo

  JavaScript

  •0•0•0•0•Updated Oct 20, 2022Oct 20, 2022

• pompset

  Public
  Scala

  •0•0•0•0•Updated Jul 8, 2022Jul 8, 2022

• marx

  Public
  Marx, a reactive programming language for synchronous connectors based on ARx

  Scala

  •0•0•0•0•Updated Mar 31, 2022Mar 31, 2022