João Pedro M. M. C. Antunes's repositories
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.
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.