Published August 21, 2023 | Version August 21, 2021
Report Open

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.


This document is based on Juvix v0.4.1, Geb v0.4.1, and VampIR v0.1.3.



Files (542.6 kB)

Name Size Download all
542.6 kB Preview Download