Miguel Sánchez Villafán's starred repositories
Real-ESRGAN
Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.
openvscode-server
Run upstream VS Code on a remote machine with access through a modern web browser from any device, anywhere.
ESPAsyncWebServer
Async Web Server for ESP8266 and ESP32
awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
Real-ESRGAN
Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.
nodemcu-devkit
A development kit for NodeMCU firmware
alfred-calculate-anything
Alfred Workflow to calculate anything with natural language
marked-terminal
A Renderer for the marked project. Allowing you to render Markdown to print to your Terminal
PCF8574_library
PCF8574 library. i2c digital expander for Arduino, Raspberry Pi Pico and rp2040 boards, esp32, SMT32 and ESP8266. Can read write digital values with only 2 wire. Very simple to use and encoder support.
redos-detector
A tool for detecting regular expression denial-of-service vulnerabilities in Android apps.
awesome-redos-security
List of RegEx DoS (ReDoS) CVEs and resources
arduino-esp8266
arduino-esp8266 based sensors
awesome-jet
🎉 A curated list of awesome things related to Oracle Jet Toolkit
Arduino-AsyncStepper
Librería de Arduino que permite mover un motor paso a paso de forma no bloqueante
componentes-fritzing-mirror
Un repositorio para alojar algunos componentes de fritzing en caso de que sean eliminados