xbreu/nixpkgs Fork of NixOS/nixpkgs

Nix Packages collection & NixOS

Language: Nix - Size: 4.3 GB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

xbreu/dafny Fork of dafny-lang/dafny

Dafny is a verification-aware programming language

Language: C# - Size: 202 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

xbreu/talpa

A simple game where your goal as a mole is to dig a passage between the edges of the board.

Language: Prolog - Size: 224 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 1

xbreu/ClosestPoints

MPI Program for finding the closest pair of a set of points

Language: C - Size: 6.51 MB - Last synced at: 10 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

xbreu/ContractChecking

Language: C# - Size: 165 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

xbreu/amigo-dos-museus

Project made for the Algorithms and Data Structures course at FEUP

Language: C++ - Size: 5.78 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

xbreu/drone-deliveries

Project made for the Artificial Intelligence course at FEUP

Language: Jupyter Notebook - Size: 1.56 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

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.

Language: Python - Size: 3.09 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 1

xbreu/mothership

Project made for the Computer Graphics course at FEUP

Language: GLSL - Size: 16.2 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

xbreu/formal-methods

Materials from the Formal Methods for Critical Systems course at FEUP.

Language: Alloy - Size: 32.6 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

xbreu/automotive-system

Development of a formal model for an adaptive exterior light and speed control system.

Language: Alloy - Size: 3.59 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

xbreu/xbreu

Readme of my GitHub profile, with some information about myself.

Size: 39.1 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

xbreu/constraint-programming

Materials from the Constraint Logic Programming course at FEUP.

Language: Prolog - Size: 52.5 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0