Skip to content
View TomasCastroRojas's full-sized avatar
37 followers · 64 following
  • Rosario-Argentina

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report TomasCastroRojas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. compiladores2022 compiladores2022 Public

    Forked from matiasmeroi/compiladores2022

    Compilador de FD4 para la materia Compiladores 2022 de LCC - FCEIA - UNR

    Haskell

  2. fruchterman-reingold fruchterman-reingold Public

    Implementación del algoritmo de Fruchterman-Reingold para la visualización de grafos

    Python

  3. nachos nachos Public

    Not Another Completely Heuristic Operating System para Sistemas Operativos II

    C++

  4. ALP_TP4 ALP_TP4 Public

    Programación monádica. Reimplementacion de los evaluadores del TP1 utilizando mónadas

    Haskell

  5. coq coq Public

    Ejercicios de practica de la materia Construcción Formal de Programas en Teoría de Tipos de la Universidad de Montevideo.

    Coq

  6. verificacion-con-fstar-2024 verificacion-con-fstar-2024 Public

    Forked from mtzguido/verificacion-con-fstar-2024

    Repositorio de la optativa de LCC para la FCEIA

    F*