Pinned Repositories
Alarm
Arduino alarm using LEDs
capasjornais
Bot do Twitter - @CapasJornais
CNFconverter
Convert any formula to Conjunctive Normal Form
DHTLogger
Logging temperature, humidity and heat index
HumidityLevel
Relative humidity level read from DHT11 sensor and shown using LEDs
reddit-soccer-videos
Soccerit - an app for Android and iOS to view latest videos from r/soccer - developed with Ionic
sccHaskell
Implementation of a static contract checker for Haskell
vscode-beautify-json
Visual Studio Code Beautify JSON Extension
randrade23's Repositories
randrade23/capasjornais
Bot do Twitter - @CapasJornais
randrade23/CNFconverter
Convert any formula to Conjunctive Normal Form
randrade23/reddit-soccer-videos
Soccerit - an app for Android and iOS to view latest videos from r/soccer - developed with Ionic
randrade23/vscode-beautify-json
Visual Studio Code Beautify JSON Extension
randrade23/Alarm
Arduino alarm using LEDs
randrade23/HumidityLevel
Relative humidity level read from DHT11 sensor and shown using LEDs
randrade23/DHTLogger
Logging temperature, humidity and heat index
randrade23/sccHaskell
Implementation of a static contract checker for Haskell
randrade23/trabalho-dm
Analyzing data about crimes in Houston - André Diegues, Iúri Pena & Rui Andrade
randrade23/chrome-launcher
Launch Google Chrome with ease from node.
randrade23/LEDProgress
Library to simulate a progress bar with several LEDs, supports partial lightning with PWM
randrade23/MonoGame
One framework for creating powerful cross-platform games.
randrade23/MonoGame.Dependencies
The MonoGame binary dependencies submodule.
randrade23/seafile-docker
A Docker image for Seafile server
randrade23/spine-runtimes
2D skeletal animation runtimes for Spine.
randrade23/terraform-test
spinning up a node service in ECS
randrade23/trabalho-tabd
Creating a data warehouse from data about taxi trips, using PostgresSQL and PostGIS - Rui Andrade & Vanda Azevedo
randrade23/transportes-portugal-api
🚂 Portuguese public transportation data from GTFS to a rest API.
randrade23/WateringApp
Academic project - controlling a watering system for a plant (interfacing w/Arduino and RasPi endpoints), incl. humidity, air and temp controls