GitHub repository: GaloisInc/2016-ppaml-summer-school
Primary language: Clojure
Description: Projects from 2016 PPAML Summer School