Skip to content
@arcalab

LMF

Logic and Formal Methods Group

Popular repositories Loading

  1. choreo choreo Public

    Scala 3

  2. 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

  3. ac-1516 ac-1516 Public

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

    TeX 1

  4. qit1718-mi qit1718-mi Public

    Matemática para a Informática - Qualifica IT

    TeX 1

  5. quantum-logic-1718 quantum-logic-1718 Public

    Quantum logics course

    HTML 1 1

  6. ic-1718 ic-1718 Public

    Unit course on "Interacção e Concorrência", taught on 2017/2018.

    HTML 1

Repositories

Showing 10 of 33 repositories
  • 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
  • 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 Jun 25, 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 Jun 17, 2024
  • Ibex Public

    Webpage of the project Ibex

    arcalab/Ibex’s past year of commit activity
    HTML 0 0 0 0 Updated Jun 15, 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
  • team-a Public
    arcalab/team-a’s past year of commit activity
    Scala 0 0 0 0 Updated Feb 23, 2024
  • quantum-computation-2324 Public

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

    arcalab/quantum-computation-2324’s past year of commit activity
    Jupyter Notebook 1 1 0 0 Updated Jan 31, 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 1 0 0 0 Updated Jan 31, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…