Pinned Repositories
amigo-dos-museus
Project made for the Algorithms and Data Structures course at FEUP
automotive-system
Development of a formal model for an adaptive exterior light and speed control system.
ClosestPoints
MPI Program for finding the closest pair of a set of points
constraint-programming
Materials from the Constraint Logic Programming course at FEUP.
ContractChecking
dafny
Dafny is a verification-aware programming language
drone-deliveries
Project made for the Artificial Intelligence course at FEUP
formal-methods
Materials from the Formal Methods for Critical Systems course at FEUP.
mobility-meeting-scheduler
Meeting scheduler for groups of people in mobilities at different places. It includes the analysis of flights and lodging prices to return the better date and place for everyone to travel together.
talpa
A simple game where your goal as a mole is to dig a passage between the edges of the board.
xbreu's Repositories
xbreu/formal-methods
Materials from the Formal Methods for Critical Systems course at FEUP.
xbreu/amigo-dos-museus
Project made for the Algorithms and Data Structures course at FEUP
xbreu/ContractChecking
xbreu/drone-deliveries
Project made for the Artificial Intelligence course at FEUP
xbreu/mobility-meeting-scheduler
Meeting scheduler for groups of people in mobilities at different places. It includes the analysis of flights and lodging prices to return the better date and place for everyone to travel together.
xbreu/talpa
A simple game where your goal as a mole is to dig a passage between the edges of the board.
xbreu/automotive-system
Development of a formal model for an adaptive exterior light and speed control system.
xbreu/ClosestPoints
MPI Program for finding the closest pair of a set of points
xbreu/constraint-programming
Materials from the Constraint Logic Programming course at FEUP.
xbreu/dafny
Dafny is a verification-aware programming language
xbreu/mothership
Project made for the Computer Graphics course at FEUP
xbreu/xbreu
Readme of my GitHub profile, with some information about myself.