Skip to content

@binary-translation Binary Translation

Change the repository type filter

All

    Repositories list

    7 repositories

    • arancini-exploration

      Public
      An exploration of arancini
      C++
      •2•8•22•1•Updated Jan 15, 2026Jan 15, 2026

    • qemu

      Public
      Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs…
      C
      •
      Other
      •6.7k•0•0•0•Updated Jan 4, 2025Jan 4, 2025

    • binary-translation.github.io

      Public
      Website for several projects on Binary Translation
      JavaScript
      •
      MIT License
      •0•3•0•0•Updated Mar 25, 2023Mar 25, 2023

    • risotto-artifact-asplos23

      Public
      Jupyter Notebook
      •5•20•0•0•Updated Oct 19, 2022Oct 19, 2022

    • a2a-benchmarks

      Public
      Jupyter Notebook
      •1•0•0•0•Updated Sep 13, 2022Sep 13, 2022

    • risotto-proofs

      Public
      Proofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"
      proofsbinary-translation
      proofsbinary-translation
      Agda
      •0•5•0•0•Updated Sep 13, 2022Sep 13, 2022

    • lasagne-proofs

      Public
      Architecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"
      paperproofbinary-translation
      paperproofbinary-translationweak-memory-models
      Agda
      •3•14•0•0•Updated Mar 29, 2022Mar 29, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.