Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Henos is a tool that provides basic functionality for modeling and verification of reactive systems based on a mixture of automata/formula based specifications.
-
-
Primer trabajo práctico de Organización del Computador II
-
-
Repo git para arquitectura de aplicacones web 1C2018
-
-
Segundo trabajo práctico de Organización del Computador II
-
Cursada de algo1 del primer cuatrimestre del 2018
-
-
-
Tercer trabajo práctico de Organización del Computador II
-
Desarrollo del trabajo práctico sobre implementación de Algoritmos y Estructuras de Datos I (1er cuatrimestre del 2018)
-
Implementación en C++ de un conjunto sobre skip list
-
Sistema operativo en modo real compatible con MS-DOS. TP Final de Organización del Computador 2.
-
Notes & code from the "Control theory for self-adaptive software" course (ECI32 - 2018)
-
-
Intel x86 ASM transpilable programming language with support for variables, conditional blocks and loops. Developed to aid the development of OrgaDOS.
-
Real mode MS-DOS compatible operating system, written in LLAMA and x86 Assembly.