Pinned Repositories
practica-pl
Implementación de un compilador de Ditto a WASM
termination_coq
TFG of Pablo about formalising termination proofs in Coq
ErVinuelas
Config files for my GitHub profile.
gravitationalSimulator
Código de un simulador físico
PracticasConcurrente
progdeclarativa
Projects for the Declarative Programming course
verification-segments
This is the project that corresponds with the final Bachelor thesis of Pablo Martín.
GraphicSimulator
Segunda parte de la práctica de TP2, interfaz gráfica de un simulador de física
calcul-ia-dores
Este repositorio contiene nuestra solución al problema propuesto por Accenture para el Concurso de Modelización de Problemas de Empresa, organizado por la Facultad de Matemáticas de la Universidad Complutense de Madrid, en su edición de 2023. Se trata de un proyecto de clasificación de textos humanos y generados por IA en castellano.
2021-is2-dg-scichat
2021-is2-dg-scichat created by GitHub Classroom
ErVinuelas's Repositories
ErVinuelas/ErVinuelas
Config files for my GitHub profile.
ErVinuelas/gravitationalSimulator
Código de un simulador físico
ErVinuelas/PracticasConcurrente
ErVinuelas/progdeclarativa
Projects for the Declarative Programming course
ErVinuelas/verification-segments
This is the project that corresponds with the final Bachelor thesis of Pablo Martín.