nmosier/clouxx-FaCT
A fork of the FaCT compiler that generates secrecy labels and conforms to the Clou++ Programming Contract.
OCamlBSD-3-Clause
Stargazers
No one’s star this repository yet.
A fork of the FaCT compiler that generates secrecy labels and conforms to the Clou++ Programming Contract.
OCamlBSD-3-Clause
No one’s star this repository yet.