TomasCastroRojas
Estudiante de 5to Año en Licenciatura en Ciencia de la Computacion - FCEIA - UNR
Rosario-Argentina
Pinned Repositories
ALP_TP1
Implementacion de un interprete en Haskell para un lenguaje de programación imperativo simple
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_TP4
Programación monádica. Reimplementacion de los evaluadores del TP1 utilizando mónadas
Arq2020
Solucion de los ejercicios propuestos en Arquitectura del Computador 2020
compiladores2022
Compilador de FD4 para la materia Compiladores 2022 de LCC - FCEIA - UNR
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
nachos
Not Another Completely Heuristic Operating System para Sistemas Operativos II
tla-exercises
Ejercicios de practica de la catedra de Ingeniería de Software I del lenguaje de especificación TLA (Temporal Logic of Actions)
verificacion-con-fstar-2024
Repositorio de la optativa de LCC para la FCEIA
TomasCastroRojas's Repositories
TomasCastroRojas/Arq2020
Solucion de los ejercicios propuestos en Arquitectura del Computador 2020
TomasCastroRojas/tla-exercises
Ejercicios de practica de la catedra de Ingeniería de Software I del lenguaje de especificación TLA (Temporal Logic of Actions)
TomasCastroRojas/ALP_TP1
Implementacion de un interprete en Haskell para un lenguaje de programación imperativo simple
TomasCastroRojas/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
TomasCastroRojas/ALP_TP4
Programación monádica. Reimplementacion de los evaluadores del TP1 utilizando mónadas
TomasCastroRojas/compiladores2022
Compilador de FD4 para la materia Compiladores 2022 de LCC - FCEIA - UNR
TomasCastroRojas/coq
Ejercicios de practica de la materia Construcción Formal de Programas en Teoría de Tipos de la Universidad de Montevideo.
TomasCastroRojas/fruchterman-reingold
Implementación del algoritmo de Fruchterman-Reingold para la visualización de grafos
TomasCastroRojas/nachos
Not Another Completely Heuristic Operating System para Sistemas Operativos II
TomasCastroRojas/verificacion-con-fstar-2024
Repositorio de la optativa de LCC para la FCEIA
TomasCastroRojas/ALP_TP3
TomasCastroRojas/css-exercises
TomasCastroRojas/EDyA1_TP1
TomasCastroRojas/EDyA2-TP2
Implementación de Secuencias utilizando Listas y Arreglos paralelos
TomasCastroRojas/EDyA2_TP1
Implementacion de K-d tree en Haskell
TomasCastroRojas/MetodosScilab
Metodos Numericos
TomasCastroRojas/odin-landing-page
TomasCastroRojas/odin-rock-paper-scissors
TomasCastroRojas/Prog2_TP1
Matchings de personas de una misma localidad en base a sus intereses.
TomasCastroRojas/Prog2_TP2
Generar personas a partir de codigos de datos sencillos en C
TomasCastroRojas/Prog2_TPFinal
TomasCastroRojas/TBD-TP2