GitHub-0614's repositories
000
Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
000
IoT-security-papers
research and survey papers related to IoT security from 2014 to the first half of 2019
000
IoTResearch
IoT Reading List (IoT research papers from 2016 to 2019)
SmartThingsPublic
SmartThings open-source DeviceTypeHandlers and SmartApps code
Language:Groovy000
fooXposed
Xposed tutorial demos
Language:JavaApache-2.0000
oauth2lib
Python OAuth 2.0 Client + Server Library
MIT000