MrXester
Computer Science degree at University of Minho. Data Science Master Student at University of Porto. https://orcid.org/0000-0003-1346-216X
Braga, Portugal
Pinned Repositories
Cats-And-Dogs
LC-TP4
Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos
Projeto-PC
LoLMLACN
CG-2021
Trabalho realizado juntamente com @luislcc, @flake-png e @monteiro06 para a Unidade curricular de Computação Gráfica, o Projeto consistia de uma engine em C++ utilizando-se de OpenGl.
Code-Challenges-LAII
Resolução de alguns Code Challenges propostos na Unidade Curicular de Laboratórios de Algoritmia II. As soluções foram obtidas juntamente com @filipeazvd.
Logica-Computacional
Relatórios desenvolvidos em júpyter notebooks para a cadeira de Lógica Computacional juntamente com @luislcc; O objetivo da cadeira era o estudo do uso de SAT solvers como o z3 e o SCIP em diferentes situações, os trabalhos renderam 19 à cadeira.
SIMP_Compiler
Trabalho realizado juntamente com @luislcc para a Unidade curricular de Processamento de Linguagens e Compiladores. Apresenta foco no desenvolvimento de um compilador utilizando-se da ferramenta YACC.
WIP-StSNE
Adding comments and Documentation on S+t-SNE
S--t-SNE
MrXester's Repositories
MrXester/SIMP_Compiler
Trabalho realizado juntamente com @luislcc para a Unidade curricular de Processamento de Linguagens e Compiladores. Apresenta foco no desenvolvimento de um compilador utilizando-se da ferramenta YACC.
MrXester/CG-2021
Trabalho realizado juntamente com @luislcc, @flake-png e @monteiro06 para a Unidade curricular de Computação Gráfica, o Projeto consistia de uma engine em C++ utilizando-se de OpenGl.
MrXester/Code-Challenges-LAII
Resolução de alguns Code Challenges propostos na Unidade Curicular de Laboratórios de Algoritmia II. As soluções foram obtidas juntamente com @filipeazvd.
MrXester/Logica-Computacional
Relatórios desenvolvidos em júpyter notebooks para a cadeira de Lógica Computacional juntamente com @luislcc; O objetivo da cadeira era o estudo do uso de SAT solvers como o z3 e o SCIP em diferentes situações, os trabalhos renderam 19 à cadeira.
MrXester/WIP-StSNE
Adding comments and Documentation on S+t-SNE