Pinned Loading

1. binary-translation/risotto-proofs binary-translation/risotto-proofs Public

   Proofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"

   Agda 5

2. binary-translation/lasagne-proofs binary-translation/lasagne-proofs Public

   Architecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"

   Agda 12 2

3. small-hello-world small-hello-world Public

   Assembly files that assemble into very small Hello World programs for several CPU architectures

   Assembly 8

4. rascal2webassembly rascal2webassembly Public

   A WebAssembly API written in Rascal MPL. Computing Science BSc project at RuG (2018).

   Rascal 4 2

5. voxel-city voxel-city Public

   A Python script that generates a colorful voxel city and writes it to a MagicaVoxel .vox file

   Python 13 3

6. rust-pi-forall rust-pi-forall Public

   A partial re-implementation of pi-forall in Rust

   Rust 2