Source
Github repo hasn't seen activity in 4 years. Looks to be two PhD theses: "Casanova: A language for game development" and "PhD Thesis" (which appears to be wildly unfinished).
Last modified 02 October 2024