Pinned Loading

1. Process-Threads-Sync-C Process-Threads-Sync-C Public

   Prácticas en C sobre procesos, hilos y sincronización en sistemas tipo UNIX, con ejemplos de fork, wait, exec, pthread, semaforos, mutex, message queues y bloqueos para coordinar la concurrencia.

   C

2. MFIS MFIS Public

   Prácticas en Alloy Modelling Language para Métodos Formales. Contiene modelos de ejercicios, situaciones y sistemas donde se valida su correctitud mediante Alloy Analyzer y model checking.

   Alloy

3. Linux-x86-64-assembly Linux-x86-64-assembly Public

   Prácticas en NASM para la materia Organización de Computadoras. Basado en el curso "x86_64 Linux Assembly" de khoraski: https://www.youtube.com/playlist?list=PLetF-YjXm-sCH6FrTz4AQhfH6INDQvQSn

   Assembly

4. nonograma nonograma Public

   Proyecto para la materia Lógica para Ciencias de la Computación. Es el juego de Nonograma implementado en Prolog como backend y React como frontend. Autor: Nicolás González

   HTML

5. Estructuras-de-Datos Estructuras-de-Datos Public

   Implementaciones en Java de todas las estructuras de datos vistas en la materia Estructuras de Datos, como Lista, Pila, Grafo, Árbol Binario, ABB, Queue, Bag, Mapeo, etc.

   Java

6. ProyectoSO ProyectoSO Public

   Forked from ManuT18/ProyectoSO_Comision20

   Proyecto para Sistemas Operativos, 2024. Autores: Manuel Tauro y Nicolás Gonzalez

   C