Here's going to be all the exercises done for refreshing and re-learning nodejs and express

My notes of Clean Code book

Electron project

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Official Haskell IDE support via the language server protocol (LSP)

A rate limiting module for NestJS to work with Fastify, Express, GQL, Websockets, and RPC 🧭

Ejemplo de documentación con Swagger

Example code for HTML, CSS, and Javascript for Web Developers Coursera Course

Verificación formal en coq del algoritmo W, proyecto final de la materia Semántica y verificación en Facultad de ciencias UNAM

Prácticas en coq para la clase de Semántica y verificación en Facultad de Ciencias UNAM

Must-read papers on graph neural networks (GNN)

Solución del problema de alcanzabilidad en gráficas y el probléma de 3-coloración e n gráficas resuletos de una manera no deterministica

Algoritmo de aproximacion para tsp y esquema de aproximacion para subsetsum

Tareas y prácticas realizadas durante el curso de Lenguajes de Programación