PhD student in Programming Languages.
I like performance and correctness.
Pinned Loading
-
binary-translation/risotto-proofs
binary-translation/risotto-proofs PublicProofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"
Agda 5
-
binary-translation/lasagne-proofs
binary-translation/lasagne-proofs PublicArchitecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"
-
small-hello-world
small-hello-world PublicAssembly files that assemble into very small Hello World programs for several CPU architectures
Assembly 4
-
rascal2webassembly
rascal2webassembly PublicA WebAssembly API written in Rascal MPL. Computing Science BSc project at RuG (2018).
-
voxel-city
voxel-city PublicA Python script that generates a colorful voxel city and writes it to a MagicaVoxel .vox file
-
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.