jaeheon

Google

Pinned Repositories

engine
The Flutter engine
Language:C++7.5k 292 06k
engine
The Flutter engine
Language:C++0 1 00
Infinite-Mario-JPF
Investigation of JPF w/ Infinite Mario
Language:Java2 4 01
jna
Java Native Access
Language:Java0 2 00
tiddle
Tiddle: A Trace Description Language for Generating Concurrent Benchmarks to Test Dynamic Analyses
Language:Haskell00

jaeheon's Repositories

jaeheon/Infinite-Mario-JPF
Investigation of JPF w/ Infinite Mario
Language:Java2 4 01
jaeheon/engine
The Flutter engine
Language:C++0 1 00
jaeheon/jna
Java Native Access
Language:Java0 2 00
jaeheon/tiddle
Tiddle: A Trace Description Language for Generating Concurrent Benchmarks to Test Dynamic Analyses
Language:Haskell00