GitHub-0614

GitHub-0614

Geek Repo

Github PK Tool:Github PK Tool

GitHub-0614's repositories

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Stargazers:0Issues:0Issues:0

IoT-security-papers

research and survey papers related to IoT security from 2014 to the first half of 2019

Stargazers:0Issues:0Issues:0

IoTResearch

IoT Reading List (IoT research papers from 2016 to 2019)

Stargazers:1Issues:0Issues:0

SmartThingsPublic

SmartThings open-source DeviceTypeHandlers and SmartApps code

Language:GroovyStargazers:0Issues:0Issues:0

fooXposed

Xposed tutorial demos

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

oauth2lib

Python OAuth 2.0 Client + Server Library

License:MITStargazers:0Issues:0Issues:0