GitHub repository: ChristianoBraga/PiFramework
Primary language: Python
Description: The π framework aims at being a simple formal framework for compiler construction. It is comprised of π-lib and π-automata. The π-lib component is a library of basic programming languages constructs whose semantics are formally specified in π-automata. To construct a compiler for a programming language one simply needs to define the π-denotations of the statements of the given programming language in terms of π-lib constructions.