GitLab

Henos is a tool that provides basic functionality for modeling and verification of reactive systems based on a mixture of automata/formula based specifications.

Apuntes de Algoritmos y Estructuras de Datos I (1er Cuatri 2019) que fui tomando de las diapositivas de la materia para preparar el final.

Scripts desarrollados en el Laboratorio de Neuroquímica Retiniana y Oftalmología Experimental (NROE), Universidad de Buenos Aires (UBA), Argentina.

Repositorio de contenidos de la teórica.

Notes & code from the "Control theory for self-adaptive software" course (ECI32 - 2018)

Repo git para arquitectura de aplicacones web 1C2018

Command line tool designed to calculate the sum, mean, variance or standard deviation of a list of numbers passed through standard input.

Ejercicios varios, resueltos en SQL, de la materia Bases de Datos de la FCEyN-UBA. Elaboración individual.

🦙 Simple, one file, easy to use C++11 std::regex wrapper for lazy people.

Simple string trimming function library for C++ (removes leading and trailing whitespace from strings). Single header file. Does what it says in the box.

Entregas de ejercicios en SmallTalk

Repositorio para el primer parcial de Orga2. Juan Cruz Barcos, 463/20

Grupo de Ingenieria de Software I

Desarrollo de un kernel sobre el que se monta un videojuego. Realizado en Assembler principalmente. Trabajo Práctico desarrollado para la materia Organización del Computador 2, de la FCEyN-UBA. Resuelto junto a Sabrina Silvero y Camila Di Ielsi.

Trabajo Practico 3 de Organizacion del computador 2 System programming

Trabajo practico 1 de algoritmos y estructuras de datos 3

Tests para el TP3 de Organización del Computador 2, Segundo Cuatrimestre 2020