aurelispas's repositories
intel_sat_solver
This repository contains the code of Intel(R) SAT Solver (IntelSAT)
alphatensor
Private
nanosat
QQQ
SAT-Solver-CDCL
A simple SAT solver based on the CDCL algorithm
polynomial_3-sat
A deterministic polynomial algorithm that decides satisfiability for 3-SAT.
salt
Infrastructure automation and management system
souliss
Arduino based Distributed Networking Framework for Smart Homes and IoT
smartalarm
Smart Alarm is a home security application for the SmartThings home automation system.
3D-Printer
3 D printer solidworks
RFID-RC522
Smart Phone Reader
ArduinoDue-smart-library
ArduinoDue solution to work with relays, PWMs, IRemote and other staff for home automation
smarthome-1
Smarthome application with arduino
arduino-smart-car-bluetooth
Arduino controlled smart car
arduino-android-blueprints
Code for the Arduino Android Blueprints book published by PacktPub
FTDI_SmartBasic
The FTDI SmartBasic uses a multiplexer to allow you to multiplex multiple serial devices into the hardware port on your Arduino Pro, Pro Mini, or other compatible board while still allowing you to program the board via the bootloader.
RFIDLogistics
A project at Chalmers University of Technology consisting of making a smart logistics system using RFID-technology
Android-Home-Automation
Android and PC based client-server system to home automation
smartrfid
Repository for Android Code for Rfid
SmartRemoteControl
WiFi controlled universal remote control using an Arduino Yun.
SmartHome
Proyecto para una casa domótica con Arduino, xBee, Raspberry Pi y Android.
raspberry-pi-home-automation
A node.js based home automation system based around the Raspberry Pi.
JadeHomeAutomation
Home automation project using JADE (multi-agent framework in Java) and Arduino (UNIBO, course of Distribuited Systems)
Smart-meter-P1
Readout of Dutch smart meter P1-port using Arduino and logging to EmonCMS
arduino-thermo
Arduino Thermostat- Outdoor Temperature Smart
Online-Smart-Thermostat
Arduino based online smart thermostat