Skip to content
@arcalab

LMF

Logic and Formal Methods Group

Popular repositories Loading

  1. choreo choreo Public

    Scala 3

  2. CAOS CAOS Public

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

    JavaScript 3 1

  3. quantum-computation-2223 quantum-computation-2223 Public

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

    Jupyter Notebook 3

  4. quantum-computation-2324 quantum-computation-2324 Public

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

    Jupyter Notebook 2 1

  5. ac-1516 ac-1516 Public

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

    TeX 1

  6. qit1718-mi qit1718-mi Public

    Matemática para a Informática - Qualifica IT

    TeX 1

Repositories

Showing 10 of 38 repositories
  • SLP-2425 Public

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

    arcalab/SLP-2425’s past year of commit activity
    TeX 0 0 0 0 Updated Jan 31, 2025
  • quantum-logic-2425 Public

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

    arcalab/quantum-logic-2425’s past year of commit activity
    HTML 0 0 0 0 Updated Jan 28, 2025
  • Ibex Public

    Webpage of the project Ibex

    arcalab/Ibex’s past year of commit activity
    HTML 0 0 0 0 Updated Jan 22, 2025
  • ic-2425 Public

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

    arcalab/ic-2425’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Jan 20, 2025
  • lince Public

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

    arcalab/lince’s past year of commit activity
    Scala 1 0 3 0 Updated Dec 20, 2024
  • quantum-computation-2425 Public

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

    arcalab/quantum-computation-2425’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Dec 2, 2024
  • CAOS Public

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

    arcalab/CAOS’s past year of commit activity
    JavaScript 3 1 0 0 Updated Oct 25, 2024
  • qu4DataSci-2425 Public

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

    arcalab/qu4DataSci-2425’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Sep 10, 2024
  • ic-2324 Public

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

    arcalab/ic-2324’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Jul 13, 2024
  • quantum-logic-2324 Public

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

    arcalab/quantum-logic-2324’s past year of commit activity
    HTML 0 0 0 0 Updated Jun 26, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…