Popular repositories

1. lasagne-proofs lasagne-proofs Public

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

   Agda 11 2

2. risotto-artifact-asplos23 risotto-artifact-asplos23 Public

   Jupyter Notebook 11 4

3. risotto-proofs risotto-proofs Public

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

   Agda 5

4. binary-translation.github.io binary-translation.github.io Public

   Website for several projects on Binary Translation

   JavaScript 3

5. a2a-benchmarks a2a-benchmarks Public

   Forked from rgouicem/a2a-benchmarks

   Jupyter Notebook