GitHub repository: uvasrg/obliv-c
Primary language: OCaml
Description: Secure Computation Language and Libraries