Repositories list

• es1617-adventures

  Public
  [MOVED TO GITLAB] Software Engineering Project - 2016'17

  javatddsoftware-engineering+ 3spring-mvcfenix-frameworklayered-architecture

  Java

  •0•0•0•1•Updated Aug 1, 2024Aug 1, 2024

• thesis

  Public
  Geometric Constraints in Algorithmic Design — M.Sc. Thesis in Computer Science and Engineering

  cppjuliacgal+ 5geometric-algorithmsalgorithmic-designparametric-modelinggeometric-constraintskhepri

  TeX

  •0•0•0•0•Updated Oct 8, 2021Oct 8, 2021

• iaed1415-01-banks

  Public
  [MOVED TO GITLAB] 1st Introduction to Algorithms & Data Structures Project - 2014'15

  algorithmsgraphnetwork+ 4bankdata-structuresintroductionansi-c

  C

  •0•0•0•0•Updated Sep 5, 2020Sep 5, 2020

• qs1819-02-dafny

  Public
  2nd Software Specification Project

  verificationsystemssoftware-engineering+ 1dafny

  C#

  •0•0•0•0•Updated Dec 12, 2018Dec 12, 2018

• qs1819-01-adventure

  Public
  1st Software Specification Project

  software-engineeringalloyformal-verification+ 1model-analysis

  Alloy

  •0•1•7•0•Updated Nov 8, 2018Nov 8, 2018

• com1617-xpl

  Public
  [MOVED TO GITLAB] Compilers Project - 2016'17

  flexcompilersxpl+ 3xcdklibcdkbyacc

  C++

  •4•1•0•0•Updated Sep 23, 2018Sep 23, 2018

• pava1718-02-pre-processing

  Public
  [MOVED TO GITLAB] 2nd Advanced Programming Project - 2017'18

  lispracketmacro+ 1pre-processor

  Racket

  •

  MIT License

  •0•0•0•0•Updated May 11, 2018May 11, 2018

• fp1415-02-2048

  Public
  [MOVED TO GITLAB] 2nd Fundamentals of Programming Project - 2014'15

  gamepythonprogramming+ 2fundamentals2048

  Python

  •0•1•1•0•Updated Apr 30, 2018Apr 30, 2018

• pava1718-01-generic-functions

  Public
  [MOVED TO GITLAB] Advanced Programming Project - 2017'18

  generic-functionsjava-8javassist+ 1advanced-programming

  Java

  •

  MIT License

  •0•0•0•0•Updated Apr 24, 2018Apr 24, 2018

• tvs1718-vos

  Public
  [MOVED TO GITLAB] Software Testing and Validation Project - 2017'18

  javatestingvalidation+ 2software-engineeringtestng

  TeX

  •

  MIT License

  •0•0•0•0•Updated Apr 13, 2018Apr 13, 2018

• ssof1718-php-analyser

  Public
  [MOVED TO GITLAB] Software Security Project - 2017'18

  pythonphpsecurity+ 2toolstatic-code-analysis

  Python

  •0•1•0•0•Updated Dec 12, 2017Dec 12, 2017

• fp1415-01-credit-cards

  Public
  [MOVED TO GITLAB] 1st Fundamentals of Programming Project - 2014'15

  pythonprogrammingrecognition+ 3generationfundamentalscredit-cards

  Python

  •0•0•1•0•Updated Jul 24, 2017Jul 24, 2017

• sd1617-komparator

  Public
  [MOVED TO GITLAB] Distributed Systems Project - 2016'17

  javasecuritydistributed-systems+ 5fault-tolerancewsdlweb-servicesjaxwsjuddi

  Java

  •0•0•0•0•Updated May 29, 2017May 29, 2017

• rc1617-translation

  Public
  [MOVED TO GITLAB] Computer Networks Project - 2016'17

  cclienttranslation+ 2servercomputer-network

  C

  •

  MIT License

  •0•0•0•0•Updated May 26, 2017May 26, 2017

• cg1617-tecnico-invaders

  Public
  [MOVED TO GITLAB] Computer Graphics Project - 2016'17

  gamehtmlthreejs+ 3webcomputer-graphicsecmascript

  JavaScript

  •

  MIT License

  •0•0•0•0•Updated Jan 2, 2017Jan 2, 2017

• bd1617-instant-office

  Public
  [MOVED TO GITLAB] Databases Project - 2016'17

  mysqlphpdatabases+ 3rdbmsmodellingentity-relationship

  PHP

  •

  MIT License

  •0•0•0•0•Updated Jan 2, 2017Jan 2, 2017

• ia1617-vector-racer

  Public
  [MOVED TO GITLAB] Artifical Intelligence Project - 2016'17

  gamecommon-lispartificial-intelligence+ 3search-algorithmheuristicsvector-racer

  Common Lisp

  •0•1•0•0•Updated Jan 2, 2017Jan 2, 2017

• asa1516-02-subsidiaries

  Public
  [MOVED TO GITLAB] 2nd Analysis and Synthesis of Algorithms Project - 2015'16

  calgorithmsnetwork+ 3graphsmeetingassp

  C

  •0•0•0•0•Updated Jan 1, 2017Jan 1, 2017

• asa1516-01-articulation-points

  Public
  [MOVED TO GITLAB] 1st Analysis and Synthesis of Algorithms Project - 2015'16

  calgorithmsnetwork+ 3graphspeopleessential

  C

  •0•0•0•0•Updated Jan 1, 2017Jan 1, 2017

• so1516-parallel-shell

  Public
  [MOVED TO GITLAB] Operating Systems Project - 2015'16

  cshellparallelism+ 2concurrent-programmingoperating-systems

  C

  •0•0•0•0•Updated Jan 1, 2017Jan 1, 2017

• po1516-editor

  Public
  [MOVED TO GITLAB] Object Oriented Programming Project - 2015'16

  javaeditorprogramming+ 3oopobject-orienteddocuments

  Java

  •0•0•0•0•Updated Jan 1, 2017Jan 1, 2017

• lp1415-8puzzle

  Public
  [MOVED TO GITLAB] Logic for Programming Project - 2014'15

  gameprogrammingheuristic+ 3logic-programmingswi-prolog8-puzzle

  Prolog

  •1•0•0•0•Updated Jan 1, 2017Jan 1, 2017

• iaed1415-02-checks

  Public
  [MOVED TO GITLAB] 2nd Introduction to Algorithms & Data Structures Project - 2014'15

  algorithmsdata-structuresintroduction+ 3management-systemchecksansi-c

  C

  •0•0•0•0•Updated Jan 1, 2017Jan 1, 2017

• iac1415-tron

  Public
  [MOVED TO GITLAB] Introduction to Computer Architecture Project - 2014'15

  gameassemblycomputer-architecture+ 2introductiontron

  Assembly

  •0•1•0•0•Updated Jan 1, 2017Jan 1, 2017