destrat18

:/

Hong Kong

Pinned Repositories

Asparagus
Language:Solidity1 1 00
bitcoin
Bitcoin Core integration
Language:C++0 0 00
destrat18.github.io
My Home Page!
Language:SCSS0 0 01
EthIR
A framework for high-level Analysis of Ethereum Bytecode
Language:HTML0 0 00
hateit-mvc
hateit-MVC is a simple social network which written in Java and with help of spring technologies
Language:Java0 2 00
pixiu
Pixiu: Optimal Block Production Revenues on Cardano
Language:C++0 1 00
psiAppx
Exact Inference Engine for Probabilistic Programs
Language:JetBrains MPS0 0 00
securify2
Securify v2.0
Language:Solidity0 0 00
wmi-pa-w-volappx
Efficient WMI via SMT-Based Predicate Abstraction
Language:Python00

destrat18's Repositories

destrat18/bitcoin
Bitcoin Core integration
Language:C++0 0 00
destrat18/destrat18.github.io
My Home Page!
Language:SCSS0 0 01
destrat18/EthIR
A framework for high-level Analysis of Ethereum Bytecode
Language:HTML0 0 00
destrat18/hateit-mvc
hateit-MVC is a simple social network which written in Java and with help of spring technologies
Language:Java0 2 00
destrat18/pixiu
Pixiu: Optimal Block Production Revenues on Cardano
Language:C++0 1 00
destrat18/psiAppx
Exact Inference Engine for Probabilistic Programs
Language:JetBrains MPS0 0 00
destrat18/securify2
Securify v2.0
Language:Solidity0 0 00
destrat18/wmi-pa-w-volappx
Efficient WMI via SMT-Based Predicate Abstraction
Language:Python00