Artefacts

• Crown
  Implementation of the proposed methods in the paper ‘Ownership Guided C to Rust Translation’
  [Artefact] [Source]

• Contract Lens
  Formalisation of the paper ‘Contract Lenses: Reasoning about Bidirectional Programs via Calculation’ in Agda
  [Source]