fregel

A functional DSL for vertex-centric large-scale graph processing.

Fregel (Functional Pregel) is a functional domain-specific language for developing programs of vertex-centric (i.e., Pregel) style of big graph processing, in which the computation at every vertex is abstracted as a higher-order function. Fregel has clear functional semantics and supports declarative description of vertex computation.

The current Fregel processor is a translator (compiler) from Fregel code into Giraph code in Java / Pregel+ code in C++.

Technical details can be found in the JFP paper (DOI: https://doi.org/10.1017/S0956796821000277 ).

Note that some optimization options need Z3, an SMT solver, to be installed in your system.