Skills
Experience
Education
Projects
Posts
Publications
Tags
3
bytecode
2
ethereum
1
repl
2
smart-contracts
1
avalanche
2
blockchain
1
address
1
polygon
2
solidity
2
web3
2
evm
1
ethers
1
parser
2
typescript
1
control-flow-graph
1
markdown
1
rust
1
docs
1
bindings
1
nearprotocol
1
visualization
1
git
1
productivity
1
dashboard
1
metrics
1
gtm
1
time-tracker
1
jvm
5
java
2
instrumentation
2
c++
1
haskell
1
supercompilation
1
optimization
1
partial-evaluation
1
static-analysis
1
theorem-proving
2
education
1
racket
1
functional
1
design
1
testing
1
c
1
tls
1
parallelism
1
speculative
1
cast
1
native
1
unsafe
1
virtual-machine
1
loop-nest
1
runtime-system
Skills
Experience
Education
Projects
Posts
Publications