Tomas Castro Rojas's repositories
verificacion-con-fstar-2024
Repositorio de la optativa de LCC para la FCEIA
coq
Ejercicios de practica de la materia Construcción Formal de Programas en Teoría de Tipos de la Universidad de Montevideo.
fruchterman-reingold
Implementación del algoritmo de Fruchterman-Reingold para la visualización de grafos
compiladores2022
Compilador de FD4 para la materia Compiladores 2022 de LCC - FCEIA - UNR
tla-exercises
Ejercicios de practica de la catedra de Ingeniería de Software I del lenguaje de especificación TLA (Temporal Logic of Actions)
nachos
Not Another Completely Heuristic Operating System para Sistemas Operativos II
MetodosScilab
Metodos Numericos
EDyA2_TP1
Implementacion de K-d tree en Haskell
ALP_TP4
Programación monádica. Reimplementacion de los evaluadores del TP1 utilizando mónadas
EDyA2-TP2
Implementación de Secuencias utilizando Listas y Arreglos paralelos
ALP_TP2
Segundo trabajo practico de Analisis de Lenguajes de Programación. Implementación de un evaluador de términos de lambda cálculo en Haskell
ALP_TP1
Implementacion de un interprete en Haskell para un lenguaje de programación imperativo simple
Prog2_TP2
Generar personas a partir de codigos de datos sencillos en C
Prog2_TP1
Matchings de personas de una misma localidad en base a sus intereses.