mfes

Star

Here are 8 public repositories matching this topic...

collagejs / collagejs

Star

Micro library for framework-agnostic micro-frontends

micro-frontends mfes micro-frontend mfe-parcel

Updated Aug 2, 2026
TypeScript

afonsobspinto / Master-Informatics-and-Computer-Engineering

Star

A repository to host my student projects at @FEUP @fcup @ugent

Updated Dec 11, 2022
HTML

msramalho / feup-mfes

Star

Alloy4fun from 0 to reality

docker mongodb ci meteor api-rest formal-methods alloy feup mieic mfes

Updated Mar 15, 2020
JavaScript

orlandopalmeira / Trabalhos-MFES-2023-2024

Star

Repositório dos trabalhos de casa da UC de Métodos Formais em Engenharia de Software (MFES) - Mestrado em Engenharia Informática (MEI/MIEI) - Universidade do Minho (UMinho)

logic z3 formal-methods alloy mei engenharia-informatica z3-smt-solver mfes why3 miei z3-solver uminho-miei uminho-mei

Updated Jan 13, 2024
Jupyter Notebook

sivaraj-codes / mfe-accounting

Star

MFE demo

front-end mfes

Updated Aug 17, 2026
TypeScript

EdgarACarneiro / feup-mfes

Star

Formal modelling of GitHub in VDM++ ; in collaboration with @AndreFCruz and @joao-conde

feup vdmpp overture mfes feup-mfes

Updated Jan 10, 2019
Java

vitorhugo13 / feup-mfes

Star

Repository of code developed for the course MFES @FEUP

alloy dafny feup mfes

Updated Jan 8, 2021
Dafny

pmscosta / Formal-Methods-Exercises

Star

Exercises done in Formal Methods in Software Engineering @ FEUP

mfes

Updated Nov 5, 2019

Add this topic to your repo

To associate your repository with the mfes topic, visit your repo's landing page and select "manage topics."

Learn more