Pinned Loading

1. 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 15 3

2. agda-burrow agda-burrow Public

   Agda Proof Framework for Axiomatic Weak Memory Concurrency Models, published in CAV'26 as "Burrow: A Proof Framework for Weak Memory"

   Agda

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

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

   Assembly 7

4. rascal2webassembly rascal2webassembly Public

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

   Rascal 5 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 15 3

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

   A partial re-implementation of pi-forall in Rust

   Rust 4 1