Skip to content
Change the repository type filter

All

    Repositories list

    • lince-2.0

      Public
      New experimental version of Lince, using CAOS and a small-step semantics
      Scala
      1000Updated Dec 17, 2025Dec 17, 2025
    • Jupyter Notebook
      0000Updated Dec 15, 2025Dec 15, 2025
    • aec-2526

      Public
      Algorithms and Complexity // edition 2025-2026 // University of Minho
      HTML
      0000Updated Dec 12, 2025Dec 12, 2025
    • Website for ARCA - a research team from HASLab, Dep. Informatics, University of Minho, Portugal.
      HTML
      1000Updated Dec 7, 2025Dec 7, 2025
    • CAOS

      Public
      CAOS toolset - Scala libraries to support computer aided design of SOS using a web frontend.
      JavaScript
      3400Updated Dec 5, 2025Dec 5, 2025
    • Material for the course "Quantum for Data Science", edition 2025-2026, taught at the University of Minho
      Jupyter Notebook
      0000Updated Dec 4, 2025Dec 4, 2025
    • HTML
      0000Updated Dec 2, 2025Dec 2, 2025
    • Illustrative example of the usage of CAOS with a simple lambda-calculus reduction semantics
      Scala
      0100Updated Oct 21, 2025Oct 21, 2025
    • Ibex

      Public
      Webpage of the project Ibex
      HTML
      0000Updated Sep 25, 2025Sep 25, 2025
    • Bansky

      Public
      Webpage of the project Bansky
      0000Updated Sep 20, 2025Sep 20, 2025
    • Material for the course "Quantum Logic", edition 2024-2025, taught at the University of Minho
      HTML
      0000Updated 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
      0000Updated Jun 19, 2025Jun 19, 2025
    • lince

      Public
      Hybrid Programming - a Scala library to specify and analyse hybrid programs
      Scala
      0230Updated Jun 3, 2025Jun 3, 2025
    • SLP-2425

      Public
      Course on "Semantics of Programming Languages" at the U. of Minho, Portugal
      TeX
      0000Updated May 12, 2025May 12, 2025
    • MSc unit course on Cyber Physical Computation at the U.Minho, Portugal
      TeX
      0000Updated May 9, 2025May 9, 2025
    • Material for the course "Quantum Computation", edition 2024-2025, taught at the University of Minho
      Jupyter Notebook
      0000Updated Dec 2, 2024Dec 2, 2024
    • Material for the course "Quantum for Data Science", edition 2024-2025, taught at the University of Minho
      Jupyter Notebook
      0000Updated 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
      0000Updated Jul 13, 2024Jul 13, 2024
    • Material for the course "Quantum Logic", edition 2023-2024, taught at the University of Minho
      HTML
      0000Updated Jun 26, 2024Jun 26, 2024
    • MSc unit course on Cyber Physical Computation at the U.Minho, Portugal
      TeX
      0000Updated May 13, 2024May 13, 2024
    • choreo

      Public
      Scala
      0300Updated Mar 22, 2024Mar 22, 2024
    • b-pomset

      Public
      Host of the online tool to reason over branching pomsets, as published in ICE 2022.
      JavaScript
      0000Updated Mar 8, 2024Mar 8, 2024
    • team-a

      Public
      Scala
      0000Updated Feb 23, 2024Feb 23, 2024
    • Material for the course "Quantum Computation", edition 2023-2024, taught at the University of Minho
      Jupyter Notebook
      1200Updated Jan 31, 2024Jan 31, 2024
    • Matemática para a Informática - Qualifica IT
      TeX
      0100Updated Jan 8, 2024Jan 8, 2024
    • ccs-caos

      Public
      CCS simulator using Caos
      Scala
      0000Updated Dec 15, 2023Dec 15, 2023
    • caos.g8

      Public
      Giter8 template to help bootstrapping the creation of a project that uses Caos.
      JavaScript
      0000Updated Nov 3, 2023Nov 3, 2023
    • ceta

      Public
      Snapshot of Choreographic Extended Team Automata analysis
      JavaScript
      0000Updated Oct 17, 2023Oct 17, 2023
    • MSc unit course on Cyber Physical Computation at the U.Minho, Portugal
      TeX
      0000Updated Jun 2, 2023Jun 2, 2023
    • Materia da UC Técnicas Algorítmicas e Computabilidade 2022-2023 da Universidade do Minho
      HTML
      0000Updated May 15, 2023May 15, 2023