Assistant Professor, NTU - see my website for open positions in Singapore.
Co-chair of the WebAssembly Community Group.
-
Nanyang Technological University
- conrad-watt.github.io
Block or Report
Block or report conrad-watt
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
threads
threads PublicForked from WebAssembly/threads
Threads and Atomics in WebAssembly
WebAssembly 3
-
spec
spec PublicForked from WebAssembly/spec
WebAssembly specification, reference interpreter, and test suite.
-
repairing-and-mechanising-the-javascript-relaxed-memory-model
repairing-and-mechanising-the-javascript-relaxed-memory-model PublicArtefacts corresponding to Repairing and Mechanising the JavaScript Relaxed Memory Model
Coq 2
-
-
wasm-thesis-aux
wasm-thesis-aux Publiclinks and explainers for mechanised developments associated with my thesis
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.