Zinc is a sensitivity-aware type-directed synthesis tool for constructing inputs to differentially private mechanisms. It is based on the DFuzz type system, and extends Hindley-Milner type-directed synthesis approach of BigLambda.
Zinc is written in OCaml and built using ocamlbuild. Running make from the zinc subfolder will call ocamlbuild with the appropriate parameters.
Zinc depends on several libraries - Z3 (which can be found with build instructions for OCaml here), and containers (installable through opam, documentation here).
Still to be determined. Benchmark construction and primitive management will eventually go here.
The subfolder tools contains some other random programming projects related to sensitivity analysis.