GitHub repository: uwplse/magic
Primary language: OCaml
Created: 2018-04-12T20:44:00Z
Description: Demystifying the magic of supertactics