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 35 repositories
  • 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 Nov 6, 2024
  • 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 Nov 3, 2024
  • Ibex Public

    Webpage of the project Ibex

    arcalab/Ibex’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 29, 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
  • CyPhyComp2324 Public

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

    arcalab/CyPhyComp2324’s past year of commit activity
    TeX 0 0 0 0 Updated May 13, 2024
  • choreo Public
    arcalab/choreo’s past year of commit activity
    Scala 3 0 0 0 Updated Mar 22, 2024
  • b-pomset Public

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

    arcalab/b-pomset’s past year of commit activity
    JavaScript 0 0 0 0 Updated Mar 8, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…