Popular repositories

1. sd1718 sd1718 Public

   Matchmaking system of a game, so that it is possible to organize the various players in teams and start the game. Games could happen simultaneously.

   Java 1

2. so_1718 so_1718 Public

   Sistema para processamento de notebooks, que misturam fragmentos de código, resultados da execução, e documentação.

   C 1

3. cp_1718 cp_1718 Public

   Haskell 1

4. bd1718 bd1718 Public

   Ruby

5. spln_assignments spln_assignments Public

   Pratical assignments for SPLN class

   HTML

6. etcs_model etcs_model Public

   Formal modeling and verification of the European Rail Traffic Management System. Project carried out under my master's Formal Methods specialization profile.