Geb Pipeline

At Heliax, we are developing a compiler stack to facilitate the creation of decentralized applications using
high-level functional programming languages. This stack comprises a series of compilers that begin with
Juvix and culminate in arithmetic circuits, represented via VampIR, an intermediate language for such
circuits. This report highlights the Geb project, a component of this pipeline, and details the process of
compiling JuvixCore into VampIR through the Geb compiler. To aid its adoption and implementation, we
provide a categorical overview of the mathematical foundations of the Geb project and insights into its
current Lisp-based implementation. The objective of this report is to guide future implementations and
improvements of the Geb project.