MichaelKang's repositories
android_s2e
Run android with S2E
awesome-ethereum
:zap: Awesome Ethereum Resources
Blockchain
useful documents and scientific papers about Blockchain & cryptocurrencies. I've read them all, now it's your turn ;)
CryptoList
Curated collection of blockchain & cryptocurrency resources.
cs_learning
The learn stuff and some notes during my computer science learning
design
eWASM Design Overview and Specification
engine
This main component of Tradle's SDK, one for all environments: mobiles, web and a server, tightly integrated with blockchains via specific adapters
eos
An open source smart contract platform
exonum
Exonum core repository
lustre-examples
Some Lustre program examples
Oclgrind
An OpenCL device simulator and debugger
org
High-level planning for BigchainDB and allied projects
PTS
PTS DPOS and sharedrop toolkit
sc_klee
A symbol execution engine for smart contract
skyeye
SkyEye
symexec_multithread
Analysis of multithread program by symbol execution technology
whitepaper
The old, out-of date, BigchainDB whitepaper. Do not read unless you want to be confused.