GitHub repository: proof-ninja/BIRDS
Primary language: OCaml
Description: Bidirectional transformation for Relational view update Datalog-based Strategies